IRC logs for #openrisc Friday, 2017-06-30

--- Log opened Fri Jun 30 00:00:52 2017
--- Log closed Sat Jul 01 00:00:54 2017

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