[MediaWiki-commits] [Gerrit] ValueView extension was deleted from Gerrit - change (integration/config)

2016-01-16 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/264492 Change subject: ValueView extension was deleted from Gerrit .. ValueView extension was deleted from Gerrit Change-Id:

[MediaWiki-commits] [Gerrit] ValueView extension was deleted from Gerrit - change (integration/config)

2016-01-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: ValueView extension was deleted from Gerrit .. ValueView extension was deleted from Gerrit Change-Id: I15d80e16d50916ccb6efdf763e9e5e1e1bcd7876 --- M