[MediaWiki-commits] [Gerrit] Add grants for new database designate_pool_manager - change (operations/puppet)

Jcrespo has submitted this change and it was merged. Change subject: Add grants for new database designate_pool_manager .. Add grants for new database designate_pool_manager designate_pool_manage has been requested by Andrew, w

[MediaWiki-commits] [Gerrit] Add grants for new database designate_pool_manager - change (operations/puppet)

Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/237339 Change subject: Add grants for new database designate_pool_manager .. Add grants for new database designate_pool_manager designate_pool_manag