Bug report: duplicates aren’t really sorted

[Jon]

Yes that will be improved in the next version (remember that 10.2.0.1 is a beta release).