IRC log of #schooltool for Friday, 2020-05-22

*** mavhq has quit IRC02:08

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