[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Reimage es2011 into stretch/MariaDB 10.1

2018-01-24 Thread Jcrespo (Code Review)
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

2018-01-24 Thread Jcrespo (Code Review)
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