IRC logs for #cip for Friday, 2018-12-21

*** helmut has quit IRC		06:37
*** helmut has joined #cip		06:57
*** mungaip has quit IRC		13:26
*** tpollard has quit IRC		16:54

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