GitHub
08/02/2021, 7:00 AM<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