IRC log of #schooltool for Monday, 2020-02-10

*** povbot has joined #schooltool14:12

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