IRC log for #aegis on 20180725

`00:24.54`	`*** join/#aegis infobot (ibot@208.53.50.136)`
`00:24.54`	`*** topic/#aegis is join #aegiswm for the AegisWM IRC channel`

Generated by irclog2html.pl Modified by Tim Riker to work with infobot.