[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "mariadb: Depool es1014 for mysql restart"
Jcrespo has submitted this change and it was merged. Change subject: Revert "mariadb: Depool es1014 for mysql restart" .. Revert "mariadb: Depool es1014 for mysql restart" This reverts commit
[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "mariadb: Depool es1014 for mysql restart"
Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/324673 Change subject: Revert "mariadb: Depool es1014 for mysql restart" .. Revert "mariadb: Depool es1014 for mysql restart" This reverts commit