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

« Tuesday, 2017-07-25 Index Thursday, 2017-07-27 »
--- Log opened Wed Jul 26 00:00:31 2017
-!- heroux_ is now known as heroux05:21
--- Log closed Thu Jul 27 00:00:32 2017
« Tuesday, 2017-07-25 Index Thursday, 2017-07-27 »

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