Monday, 2023-08-14

*** tpb <[email protected]> has joined #yosys		00:00
*** jossi_1 <[email protected]> has quit IRC (Ping timeout: 120 seconds)		23:50

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!