diff --git a/bdbc95a86e4d8c08fcc95e56232b0badb811f2d8 b/bdbc95a86e4d8c08fcc95e56232b0badb811f2d8 new file mode 100644 index 0000000..807de52 --- /dev/null +++ b/bdbc95a86e4d8c08fcc95e56232b0badb811f2d8 @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.6