8 Dec
2018
8 Dec
'18
9:09 a.m.
On 2018-12-08 15:08:20, Francesco Ariis wrote:
On Sat, Dec 08, 2018 at 02:31:25PM +0100, Iustin Pop wrote:
Does it really sort 1.2 before 1.12? (or is it just a copy-paste error)
It does, hence the name of the library!
Apologies - given the ".12", I implicitly translated ".2" as ".20". Just a slow day :) iustin