[MediaWiki-commits] [Gerrit] planet: fix to variable name for proxy - change (operations/puppet)

Dzahn has submitted this change and it was merged. Change subject: planet: fix to variable name for proxy .. planet: fix to variable name for proxy Change-Id: I874f9658333e4338268206900f4129857dc86689 --- M

[MediaWiki-commits] [Gerrit] planet: fix to variable name for proxy - change (operations/puppet)

Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/221037 Change subject: planet: fix to variable name for proxy .. planet: fix to variable name for proxy Change-Id: