IRC logs for #baserock for Saturday, 2019-10-05

*** juergbi has quit IRC12:47

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