IRC log for on 20181218
00:00.10
*** perepujal has signed off IRC (Ping timeout: 246 seconds) [#gsoc]
Generated by irclog2html.pl Modified by
Tim Riker
to work with
infobot
.