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