diff --git a/b15d265e959a9af20a6033aa691afe05c5f1f172 b/b15d265e959a9af20a6033aa691afe05c5f1f172 new file mode 100644 index 000000000..9caaf76cc --- /dev/null +++ b/b15d265e959a9af20a6033aa691afe05c5f1f172 @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.7.2