diff --git a/0ba9f32fe803dc4ac5945fd0b77252ceaa0f3bb7 b/0ba9f32fe803dc4ac5945fd0b77252ceaa0f3bb7 new file mode 100644 index 0000000..d104051 --- /dev/null +++ b/0ba9f32fe803dc4ac5945fd0b77252ceaa0f3bb7 @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.8.5