Wednesday, 2022-10-05

mkarpiarzpriteau: Both changes look good to me so I'll merge them now.11:28

Generated by irclog2html.py 2.17.3 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!