IRC logs for #openrisc Thursday, 2018-05-31

--- Log opened Thu May 31 00:00:51 2018
-!- Netsplit *.net <-> *.split quits: pecastro, ZipCPU, wallento23:45
--- Log closed Fri Jun 01 00:00:52 2018

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