IRC logs for #openrisc Monday, 2016-06-06

--- Log opened Mon Jun 06 00:00:40 2016
--- Log closed Tue Jun 07 00:00:41 2016

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