Thursday, 2023-07-13

*** tpb <[email protected]> has joined #openrisc00:00
*** arnd_ <[email protected]> has joined #openrisc18:34
*** arnd <[email protected]> has quit IRC (*.net *.split)18:42
*** arnd_ is now known as arnd18:42

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