The format you are complaining about is American NOT English. I have noticed the same problem, running Gnome Flashback under Ubuntu 18.04, today. System settings show the correct English regional format (eg Thu 12 Dec 2019 18:29:30) but, in the indicator, I get Thu Dec 12 2019 18:29:30. Extremely annoying.
gsettings set com.canonical.indicator.datetime custom-time-format "%a %d %b %Y %H:%M:%S"
has no effect nor can I find an appropriate valid string to enter in locations.
The format you are complaining about is American NOT English. I have noticed the same problem, running Gnome Flashback under Ubuntu 18.04, today. System settings show the correct English regional format (eg Thu 12 Dec 2019 18:29:30) but, in the indicator, I get Thu Dec 12 2019 18:29:30. Extremely annoying.
gsettings set com.canonical. indicator. datetime custom-time-format "%a %d %b %Y %H:%M:%S"
has no effect nor can I find an appropriate valid string to enter in locations.
Is this now being handled elsewhere?