IRC logs for #openrisc Thursday, 2018-02-22

--- Log opened Thu Feb 22 00:00:43 2018
-!- wallento_ is now known as wallento		06:35
--- Log closed Fri Feb 23 00:00:45 2018

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