diff --git a/f9a890e8069c44df3eb62669321f817d84e5e9b6 b/f9a890e8069c44df3eb62669321f817d84e5e9b6 new file mode 100644 index 0000000..54f95d6 --- /dev/null +++ b/f9a890e8069c44df3eb62669321f817d84e5e9b6 @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.8.13