IRC logs for #openrisc Monday, 2017-05-01

--- Log opened Mon May 01 19:48:31 2017
-!- Irssi: #openrisc: Total of 40 nicks [0 ops, 0 halfops, 0 voices, 40 normal]19:48
-!- Irssi: Join to #openrisc was synced in 14 secs19:48
--- Day changed Tue May 02 2017
--- Log closed Tue May 02 17:46:02 2017

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