mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-08 03:41:33 +02:00
new port labels are created for an existing port, then they must take the existing port number. The code was previously causing collisions between port numbers on different pins.