[MediaWiki-commits] [Gerrit] labsdns: Update tools.wmflabs.org internal value - change (operations/puppet)

Yuvipanda has submitted this change and it was merged. Change subject: labsdns: Update tools.wmflabs.org internal value .. labsdns: Update tools.wmflabs.org internal value Switch to tools-proxy-01 Change-Id:

[MediaWiki-commits] [Gerrit] labsdns: Update tools.wmflabs.org internal value - change (operations/puppet)

Yuvipanda has uploaded a new change for review. https://gerrit.wikimedia.org/r/242447 Change subject: labsdns: Update tools.wmflabs.org internal value .. labsdns: Update tools.wmflabs.org internal value Switch to