1 new commit pushed to

<https://github.com/RTimothyEdwards/open_pdks/tree/master|master>

by RTimothyEdwards

<https://github.com/RTimothyEdwards/open_pdks/commit/8f01d8f4d17110a53080cafc52c7762b94101f1d|8f01d8f4>

- Corrected an error in the remove_redundant_* routines in the RTimothyEdwards/open_pdks