IRC logs for #openrisc Wednesday, 2017-06-07

« Tuesday, 2017-06-06 Index Thursday, 2017-06-08 »
--- Log opened Wed Jun 07 00:00:18 2017
-!- mithro_ is now known as mithro17:29
--- Log closed Thu Jun 08 00:00:20 2017
« Tuesday, 2017-06-06 Index Thursday, 2017-06-08 »

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