[MediaWiki-commits] [Gerrit] Upgrade es1007 from MariaDB 5.5 to 10 - change (operations/puppet)

2015-06-08 Thread Jcrespo (Code Review)
Jcrespo has submitted this change and it was merged. Change subject: Upgrade es1007 from MariaDB 5.5 to 10 .. Upgrade es1007 from MariaDB 5.5 to 10 Change-Id: I3b8c96800763cc7baa286e06e63fef593681a16c References: T101084 --- M

[MediaWiki-commits] [Gerrit] Upgrade es1007 from MariaDB 5.5 to 10 - change (operations/puppet)

2015-06-06 Thread Jcrespo (Code Review)
Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/216429 Change subject: Upgrade es1007 from MariaDB 5.5 to 10 .. Upgrade es1007 from MariaDB 5.5 to 10 Change-Id: I3b8c96800763cc7baa286e06e63fef5936