1 new commit pushed to

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

by RTimothyEdwards

<https://github.com/RTimothyEdwards/netgen/commit/f59c9ebcb75ad8d97680c5fe43531d72b2633aa3|f59c9ebc>

- Corrected an issue where a mismatch in property type (e.g., RTimothyEdwards/netgen