IRC Logs for #io Thursday, 2019-07-11

*** smoerk has quit IRC22:05
*** smoerk has joined #io22:05

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