This may fix issue #5916. In any case, it's wanted because this kind of sort is "unstable". According to the docs: "This implementation performs an unstable sort; that is, if two elements are equal, their order might not be preserved."
f45d063f1e