[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Reimage es2011 into stretch/MariaDB 10.1
Jcrespo has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/406062 ) Change subject: mariadb: Reimage es2011 into stretch/MariaDB 10.1 .. mariadb: Reimage es2011 into stretch/MariaDB 10.1 We will test
[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Reimage es2011 into stretch/MariaDB 10.1
Jcrespo has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/406062 ) Change subject: mariadb: Reimage es2011 into stretch/MariaDB 10.1 .. mariadb: Reimage es2011 into stretch/MariaDB 10.1 We will test stretch