Monday, 2022-08-08

*** yoctozepto is now known as yoctozepto[pto]13:46

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