mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
it only complains about (i.e., issues an error message) ports with the same index but different text, indicating a read port number collision and a true error.