-
Florian Müllner authored
The designers consider it more elegant and balanced than a comma, so use that to separate date and time. Handle it the same way as colon vs. ratio is handled, and only use the UTF8 character when using a UTF8 locale. Otherwise fall back to a double space. GNOME/gnome-desktop#8
86892ad0