[MediaWiki-commits] [Gerrit] operations/puppet[production]: mgmt: follow-up fix to getmgmtips script

Dzahn has submitted this change and it was merged. Change subject: mgmt: follow-up fix to getmgmtips script .. mgmt: follow-up fix to getmgmtips script Change-Id: I50fe24b6a2b2ff7ce62e8dbd5657c42d8aacdcc3 --- M

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mgmt: follow-up fix to getmgmtips script

Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/319386 Change subject: mgmt: follow-up fix to getmgmtips script .. mgmt: follow-up fix to getmgmtips script Change-Id: