diff --git a/a7fd1e9fd4fda8be67448bdec05b2a9215f5e52a b/a7fd1e9fd4fda8be67448bdec05b2a9215f5e52a new file mode 100644 index 000000000..6088528da --- /dev/null +++ b/a7fd1e9fd4fda8be67448bdec05b2a9215f5e52a @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.5