IRC Logs for #io Tuesday, 2017-12-19

*** mal`` has quit IRC10:42
*** mal`` has joined #io10:52
*** petr has quit IRC14:35
*** petr has joined #io14:52

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