IRC logs for #openrisc Monday, 2016-08-15

--- Log opened Mon Aug 15 00:00:26 2016
-!- knz_ is now known as knz06:40
--- Log closed Tue Aug 16 00:00:27 2016

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