IRC logs for #openrisc Wednesday, 2017-08-02

--- Log opened Wed Aug 02 00:00:41 2017
-!- rth is now known as rth_zzz00:22
-!- rth_zzz is now known as rth09:17
--- Log closed Thu Aug 03 00:00:43 2017

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