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