IRC log for #dub on 20080725
00:34.10
*** join/#dub Pimpi_ (n=frank@gondolin.pimpi.org)
00:34.10
*** mode/#dub [+o Pimpi_] by ChanServ
Generated by irclog2html.pl Modified by
Tim Riker
to work with
infobot
.