[MediaWiki-commits] [Gerrit] mediawiki: fixup for proxy changes - change (operations/puppet)

2014-10-08 Thread Giuseppe Lavagetto (Code Review)
Giuseppe Lavagetto has submitted this change and it was merged. Change subject: mediawiki: fixup for proxy changes .. mediawiki: fixup for proxy changes Change-Id: I1179c9d7b28a83fe0f71f840cd7d34c8f7e0 Signed-off-by:

[MediaWiki-commits] [Gerrit] mediawiki: fixup for proxy changes - change (operations/puppet)

2014-10-08 Thread Giuseppe Lavagetto (Code Review)
Giuseppe Lavagetto has uploaded a new change for review. https://gerrit.wikimedia.org/r/165463 Change subject: mediawiki: fixup for proxy changes .. mediawiki: fixup for proxy changes Change-Id: