2018-11-07 - cvn
00:44	<Krinkle>	Problems with bots are not due to unexpected reboot (there was no such reboot). Instead, the cause is https://phabricator.wikimedia.org/T208916 (wmflabs internal network problems).	[cvn]