luke
/
magic
mirror of https://github.com/RTimothyEdwards/magic.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
magic/VERSION

2 lines
8 B
Plaintext
Raw Normal View History

One more change to the "extresist" code which prevents extresist from substituting a regular label for a port during a node merge, which can cause ports to become orphaned.
2023-11-27 22:18:43 +01:00
8.3.452