Originally I gave each port instance a different unique number, until I realized that all port instances of the same net should have the same number, so I used renumber to fix that. But it didnt helped with this ext2spice problem
Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.
