*<1 new commit> pushed to `<https://github.com/RT...
# openlane-development
g
1 new commit pushed to
<https://github.com/RTimothyEdwards/magic/tree/master|master>
by RTimothyEdwards
<https://github.com/RTimothyEdwards/magic/commit/c776c824458c06aaf7cabfce1cfecb083357246a|c776c824>
- Fixed an error in the DRC rule optimization ("||" used instead of RTimothyEdwards/magic