Commit 93bba072c2b45bc5879500248f203610dfa1405b

Stefan Sperling 2020-03-18T16:13:46

use qsort(3) instead of mergesort(3) to avoid a large spike in memory usage