IRC logs for #openrisc Friday, 2018-07-06

« Thursday, 2018-07-05 Index Saturday, 2018-07-07 »
--- Log opened Fri Jul 06 00:00:44 2018
-!- yomi is now known as Guest7438815:36
--- Log closed Sat Jul 07 00:00:46 2018
« Thursday, 2018-07-05 Index Saturday, 2018-07-07 »

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