Ensure that length columns can be properly sorted
This fixes the case where entries sorted by source length look like this: 1 10 2 instead of like this: 1 2 10
parent
13d6dc27
Please register or sign in to comment
This fixes the case where entries sorted by source length look like this: 1 10 2 instead of like this: 1 2 10