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