IRC logs for #openrisc Monday, 2017-07-17

« Sunday, 2017-07-16 Index Tuesday, 2017-07-18 »
--- Log opened Mon Jul 17 00:00:17 2017
-!- Netsplit *.net <-> *.split quits: jonmasters22:14
--- Log closed Tue Jul 18 00:00:19 2017
« Sunday, 2017-07-16 Index Tuesday, 2017-07-18 »

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