<1 new commit> pushed to `<https://github.com/RTi...
# openlane-development
g
1 new commit pushed to
<https://github.com/RTimothyEdwards/magic/tree/master|master>
by RTimothyEdwards
<https://github.com/RTimothyEdwards/magic/commit/3da61727069cb6f91f30853727c1f04e1f869f34|3da61727>
- Modified the "port renumber" command to use (case-insensitive) RTimothyEdwards/magic