diff --git a/0386e1d493e5f29044a56ba56791cc63bf952a7d b/0386e1d493e5f29044a56ba56791cc63bf952a7d new file mode 100644 index 000000000..1344468c9 --- /dev/null +++ b/0386e1d493e5f29044a56ba56791cc63bf952a7d @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.8