IRC Logs for #crux-devel Friday, 2018-08-03

*** Workster has joined #crux-devel01:16

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