IRC logs for #openrisc Tuesday, 2018-08-07

--- Log opened Tue Aug 07 00:00:31 2018
shorneshivm28[m]: great08:31
-!- heroux_ is now known as heroux08:51
--- Log closed Wed Aug 08 00:00:33 2018

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