*<3 new commits> pushed to <https://github.com/RTi...
# open_pdks
g
3 new commits pushed to `master` `7875f1ef` - Add missing MINENCLOSEDAREA as patches for now... `3238548e` - Check for 'patch' in configure script `95c92cc5` - Updated version after merging pull request #95 from Ahmed Ghazy. RTimothyEdwards/open_pdks