[gnome-desktop] Revert "wall-clock: Do not use colon in time format"

[Bastien Nocera <hadess src gnome org>]

commit edf75f60ca7a3fb23b5286f89832ef43b2ae6bcf
Author: Bastien Nocera <hadess hadess net>
Date:   Mon Mar 25 11:26:58 2013 +0100

    Revert "wall-clock: Do not use colon in time format"
    
    This reverts commit ecd92a8c91874363f26f8364d14241344ec7cf45.
    
    See https://bugzilla.gnome.org/show_bug.cgi?id=696497#c5 for
    the reasoning.

 libgnome-desktop/gnome-wall-clock.c |   16 ++++++++--------
 1 files changed, 8 insertions(+), 8 deletions(-)
---
diff --git a/libgnome-desktop/gnome-wall-clock.c b/libgnome-desktop/gnome-wall-clock.c
index 58012d9..bf0c682 100644
--- a/libgnome-desktop/gnome-wall-clock.c
+++ b/libgnome-desktop/gnome-wall-clock.c
@@ -264,20 +264,20 @@ update_clock (gpointer data)
                if (show_full_date) {
                        /* Translators: This is the time format with full date used
                           in 24-hour mode.
-                           The character between %H, %M, and %S is U+2236 RATIO */
-                       format_string = show_seconds ? _("%a %b %e, %H∶%M∶%S")
-                               : _("%a %b %e, %H∶%M");
+                           The character between %R and %S is U+2236 RATIO */
+                       format_string = show_seconds ? _("%a %b %e, %R∶%S")
+                               : _("%a %b %e, %R");
                } else if (show_weekday) {
                        /* Translators: This is the time format with day used
                           in 24-hour mode.
-                           The character between %H, %M, and %S is U+2236 RATIO */
-                       format_string = show_seconds ? _("%a %H∶%M∶%S")
-                               : _("%a %H∶%M");
+                           The character between %R and %S is U+2236 RATIO */
+                       format_string = show_seconds ? _("%a %R∶%S")
+                               : _("%a %R");
                } else {
                        /* Translators: This is the time format without date used
                           in 24-hour mode.
-                           The character between %H, %M, and %S is U+2236 RATIO */
-                       format_string = show_seconds ? _("%H∶%M∶%S") : _("%H∶%M");
+                           The character between %R and %S is U+2236 RATIO */
+                       format_string = show_seconds ? _("%R∶%S") : _("%R");
                }
        } else {
                if (show_full_date) {