Saturday, 2023-02-18

*** dasm is now known as dasm|off03:48
mnaserjust a heads up, github is melting down in case someone sees something odd - https://www.githubstatus.com04:13
*** chkumar|rover is now known as chandankumar04:46
fungioof13:09
fungithanks for the heads up13:09
fungiseems they got it resolved according to the status page13:09

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