Jean-Marc Lasgouttes wrote:
Vincent van Ravesteijn <v.f.vanraveste...@tudelft.nl> writes:It is certainly wrong that the list is sorted case-sensitive, but I don't know whether people want to ever sort it case-sensitive. I can't think of a reason I'd want to.+1
In that case, the patch is a lot simpler.... rh