Changing Settings > Language and Region to Australia fixes the bug, which is why the problem was hidden on my usual machines. So the bug seems to occur in the C and en_US locales.
-- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/2033377 Title: New whitespace between digits and colon in time at top of desktop screen To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/2033377/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs