Monday, 2023-05-15

*** tpb <tpb!~supybot@freenode-4i1.hn5.f8r78e.IP> has joined #yosys00:00

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