Confirm change to time labels
GNOME/gnome-desktop@6e5e2cd5 changed the way times are displayed.
Before: ד' מאי 28 23∶59∶59
After: ד' ה־28 במאי 23∶59∶59
English: Wed May 28 23∶59∶59
Both versions look suspicious to me, but I don't know Hebrew so what do I know. @yoseforb, please confirm this change was intentional. Thanks!