GitLab

this modification should make sure that lists of keys made of strings are always properly sorted according to their numerical part