/home/laney/.irssi/irclogs/Freenode/#agda.log-20170120

--- Day changed Thu Jan 19 2017
tomjackyhhko: I have a branch19/01 02:44
tomjackI can try to make it shareable19/01 02:45

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!