[MediaWiki-commits] [Gerrit] remove 'maerlant' from site.pp/dsh/dhcp - change (operations/puppet)

Dzahn has submitted this change and it was merged. Change subject: remove 'maerlant' from site.pp/dsh/dhcp .. remove 'maerlant' from site.pp/dsh/dhcp it's currently down, but it doesn't really do anything, it appears decom,

[MediaWiki-commits] [Gerrit] remove 'maerlant' from site.pp/dsh/dhcp - change (operations/puppet)

Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/134745 Change subject: remove 'maerlant' from site.pp/dsh/dhcp .. remove 'maerlant' from site.pp/dsh/dhcp it's currently down, but it doesn't really