diff --git a/c73c14dbfb5a478b6e725499d0bc2afcb752e4a1 b/c73c14dbfb5a478b6e725499d0bc2afcb752e4a1 new file mode 100644 index 0000000..c7eeb9d --- /dev/null +++ b/c73c14dbfb5a478b6e725499d0bc2afcb752e4a1 @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.7