IRC logs for #openrisc Saturday, 2019-08-17

--- Log opened Sat Aug 17 00:00:45 2019
-!- heroux_ is now known as heroux06:32
--- Log closed Sun Aug 18 00:00:47 2019

Generated by irclog2html.py 2.15.2 by Marius Gedminas - find it at mg.pov.lt!