Thursday, 2021-06-17

*** tpb <[email protected]> has joined #openrisc00:00
shorneFYI the official openrisc channel is on OFTC, but if we prefer it to be here I can make this officially the unofficial channel06:56
Findeoh that's useful thanks shorne15:55

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