GitHub
11/21/2023, 8:00 AM<https://github.com/RTimothyEdwards/netgen/tree/master|master> by RTimothyEdwards
<https://github.com/RTimothyEdwards/netgen/commit/a7e859fcde6643d5f45885bcb8c8a3b8445816a8|a7e859fc> - Corrected an error in parallel_sort and series_sort that does not
RTimothyEdwards/netgen