Is this the place to send Fedora 31 observations?
I've set the regional setting 'Formats' via settings to Denmark(English).
The Denmark(English) setting specifies ISO 8601 time and date format.
However, the top bar time continues to show a different date format, even
after reboot.
I.e. on the US English
Oct 6 22:21:11
should have changed to Denmark(English)
2019-10-06T22:21:11
but it didn't.
People have holy wars over which is the best format .. that is a fine
debate, but when a format is specified, one would hope that is the format
that is used (independent of the argument over which one should be chosen
in the first place).