diff --git a/bdf4ce38dc3671b29de7874aedf1bcfb184bbf46 b/bdf4ce38dc3671b29de7874aedf1bcfb184bbf46 new file mode 100644 index 0000000..9caaf76 --- /dev/null +++ b/bdf4ce38dc3671b29de7874aedf1bcfb184bbf46 @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.7.2