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