Fix #1467: Replace std::sort() with std::stable_sort() to avoid cross-platform performance mismatch
Fix for ticket #1467.
Edited by Frank Bossen
Fix for ticket #1467.
changed title from Replace std::sort() with std::stable_sort() to avoid cross-platform performance mismatch. to Fix #1467: Replace std::sort() with std::stable_sort() to avoid cross-platform performance mismatch
merged
mentioned in commit 67bfc0cd