IRC logs for #openrisc Friday, 2015-07-10

--- Log opened Fri Jul 10 00:00:09 2015
--- Log closed Sat Jul 11 00:00:10 2015

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