diff --git a/1da28df6d7b4087e45e200ec2ddc92ba23b259eb b/1da28df6d7b4087e45e200ec2ddc92ba23b259eb new file mode 100644 index 000000000..c7eeb9d1d --- /dev/null +++ b/1da28df6d7b4087e45e200ec2ddc92ba23b259eb @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.7