IRC log for #dub on 20130714
12:43.42
*** join/#dub Pimpi (~frank@gondolin.pimpi.org)
12:43.42
*** mode/#dub [+o Pimpi] by ChanServ
Generated by irclog2html.pl Modified by
Tim Riker
to work with
infobot
.