IRC log of #schooltool for Tuesday, 2020-07-14

*** povbot has joined #schooltool07:32

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