2018-10-02 - tools.milhistbot
21:45	<gtirloni>	killed fanmp.pl (trashing server)	[tools.milhistbot]