IRC logs for #baserock for Thursday, 2020-01-02

*** juergbi has quit IRC10:43

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