diff --git a/f7e5f5bf03dd97d214fb8f7a25b8735abcd1a360 b/f7e5f5bf03dd97d214fb8f7a25b8735abcd1a360 new file mode 100644 index 0000000..a0e567a --- /dev/null +++ b/f7e5f5bf03dd97d214fb8f7a25b8735abcd1a360 @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr4.0