2016-10-27 - tools.morebots
18:09	<bd808>	Stopping bots in #wikimedia-labs and #wikimedia-releng channels.	[tools.morebots]