IRC logs for #openrisc Tuesday, 2017-08-01

--- Log opened Tue Aug 01 00:00:40 2017
--- Log closed Wed Aug 02 00:00:41 2017

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