[MediaWiki-commits] [Gerrit] operations/dns[master]: Revert "rename ms-be3003.mgmt to bast3003.mgmt"

Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405744 ) Change subject: Revert "rename ms-be3003.mgmt to bast3003.mgmt" .. Revert "rename ms-be3003.mgmt to bast3003.mgmt" This reverts commi

[MediaWiki-commits] [Gerrit] operations/dns[master]: Revert "rename ms-be3003.mgmt to bast3003.mgmt"

Hello Muehlenhoff, Mark Bergsma, jenkins-bot, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/405744 to review the following change. Change subject: Revert "rename ms-be3003.mgmt to bast3003.mgmt" ..