GNOME/gnome-desktop — pull request #3 by 1dot75cm (2014-08-25 17:50:49+00:00)
Title: Updated clock time format

sorry, I submit this change again.