[Bug 1389651] New: the date/ time format of gnome-shell top panel is incorrect