<2 new commits> pushed to `<https://github.com/RT...
# openlane-development
g
2 new commits pushed to
<https://github.com/RTimothyEdwards/magic/tree/master|master>
by RTimothyEdwards
<https://github.com/RTimothyEdwards/magic/commit/1e7da74672cfa6bc7bc7b213812acfe4e18fef8f|1e7da746>
- rename Region to ExtRegion
<https://github.com/RTimothyEdwards/magic/commit/e10901e32bac5c884fc1f794c3f8651d7a3af28f|e10901e3>
- Updated the version to go along with the merge of pull request RTimothyEdwards/magic