IRC logs for #openrisc Thursday, 2017-08-17

--- Log opened Thu Aug 17 00:00:03 2017
--- Log closed Thu Aug 17 00:42:06 2017

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