[MediaWiki-commits] [Gerrit] operations/puppet[production]: Remove mira from tcpircbot config

Muehlenhoff has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/353261 ) Change subject: Remove mira from tcpircbot config .. Remove mira from tcpircbot config

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Remove mira from tcpircbot config

Muehlenhoff has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/353261 ) Change subject: Remove mira from tcpircbot config .. Remove mira from tcpircbot config 478bd1a14653127f62fe787aa9f3c6af00b48b8f in