Monday, 2021-05-31

*** tpb has joined #yosys23:14
*** kristianpaul has quit IRC23:38
*** kristianpaul has joined #yosys23:38
*** kristianpaul has quit IRC23:59

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