Pavlos Touboulidis f45d063f1e Make tiles sorting deterministic in all cases ...

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."

2014-07-10 12:40:38 +03:00

23 KiB

Raw Blame History

View Raw