| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** josi <[email protected]> has quit IRC (Client exited) | 14:03 | |
| *** jossi <[email protected]> has quit IRC (Quit: WeeChat 2.3) | 14:03 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!