IRC logs for #openrisc Thursday, 2017-10-26

--- Log opened Thu Oct 26 00:00:46 2017
--- Log closed Fri Oct 27 00:00:47 2017

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