GitHub
07/03/2021, 7:00 AM<https://github.com/RTimothyEdwards/netgen/tree/master|master>
by RTimothyEdwards
<https://github.com/RTimothyEdwards/netgen/commit/a984ac1a4d72b7fda82784428b32d38e39e4b916|a984ac1a>
- Corrected an error in a recent update that handles the case where
RTimothyEdwards/netgen