Closed? Why?
Was it fixed?
This is one of those minimal things that don’t matter, its unlikely that such a change would be beneficial before the client is baked.
Remember, you heard it here first...
More importantly, they could go to a standardized formatting starting at the official launch, for all we know.
Nothing extracted yet.
I suggest to use more proper release date numbering in Milestones on GitHub such as:
YYYYMMDD
YYYY MM DD
YYYY/MM/DD
YYYY-MM-DD
so it can be correctly sorted by name (default) in chronological order.
It's poorly sorted now and in a few weeks it can be a real mess.