diff --git a/8e235452453dffbdc6e5f16cd9eb95df73819ad5 b/8e235452453dffbdc6e5f16cd9eb95df73819ad5 new file mode 100644 index 0000000..dc8977e --- /dev/null +++ b/8e235452453dffbdc6e5f16cd9eb95df73819ad5 @@ -0,0 +1,2 @@ +jenkins_trigger: false +mass_update: mr3.8.10