- 🇺🇸United States cellear San Francisco Bay Area
I came here to report this issue, and to suggest a solution. I'm not familiar with the details about how the release numbers are stored to know if my proposed solution is plausible, so I'll just spit it out and let it be judged.
I've been spending time studying the D7 releases on the Usage statistics for Drupal core page → , and I noticed that the first nine single-digit releases are mixed in alphabetically with two-digit releases that start with the same digit:
My proposed solution: add a leading zero to the single-digit releases. That would allow them to sort alphabetically where you would expect to find them.
(Note that I realize this would set us up for a "Drupal 7.100" bug.)