Tuesday, 2024-11-19

*** mfeder[m] is now known as MatejFeder[m]

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