[MediaWiki-commits] [Gerrit] Tools: Add key for MariaDB repository - change (operations/puppet)

2013-12-18 Thread Tim Landscheidt (Code Review)
Tim Landscheidt has uploaded a new change for review. https://gerrit.wikimedia.org/r/102585 Change subject: Tools: Add key for MariaDB repository .. Tools: Add key for MariaDB repository Packages from the MariaDB repository

[MediaWiki-commits] [Gerrit] Tools: Add key for MariaDB repository - change (operations/puppet)

2013-12-18 Thread coren (Code Review)
coren has submitted this change and it was merged. Change subject: Tools: Add key for MariaDB repository .. Tools: Add key for MariaDB repository Packages from the MariaDB repository were not automatically installed by Puppet