[MediaWiki-commits] [Gerrit] Removing deprecated user_metrics module - change (mediawiki/vagrant)

2014-01-28 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Removing deprecated user_metrics module .. Removing deprecated user_metrics module Change-Id: Iebe5dcddba38b812ef9e9c846d19c544d08eda6d --- M puppet/manif

[MediaWiki-commits] [Gerrit] Removing deprecated user_metrics module - change (mediawiki/vagrant)

2014-01-28 Thread Ottomata (Code Review)
Ottomata has uploaded a new change for review. https://gerrit.wikimedia.org/r/109942 Change subject: Removing deprecated user_metrics module .. Removing deprecated user_metrics module Change-Id: Iebe5dcddba38b812ef9e9c846d19c