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