IRC Logs for #io Tuesday, 2018-07-03

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