[MediaWiki-commits] [Gerrit] operations/dns[master]: Point deployment servers to mira

2016-10-11 Thread Muehlenhoff (Code Review)
Muehlenhoff has submitted this change and it was merged. Change subject: Point deployment servers to mira .. Point deployment servers to mira Change-Id: I652e8775e976f6a30ebd60706bad65b66752d306 --- M templates/wmnet 1 file cha

[MediaWiki-commits] [Gerrit] operations/dns[master]: Point deployment servers to mira

2016-10-11 Thread Muehlenhoff (Code Review)
Muehlenhoff has uploaded a new change for review. https://gerrit.wikimedia.org/r/315221 Change subject: Point deployment servers to mira .. Point deployment servers to mira Change-Id: I652e8775e976f6a30ebd60706bad65b66752d306