Tuesday, 2023-08-15

*** tpb <[email protected]> has joined #yosys		00:00
*** jossi <[email protected]> has joined #yosys		00:01

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