Conversation with #inferno at Thu Feb  9 13:58:45 2017 on powerman@chat.freenode.net (irc)
(13:58:45) #inferno: Topic for #inferno set by anth at 19:45:51 on 04/07/15
(14:11:11) rogpeppe [~rog@85.133.27.102] entered the room.