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

[Bastien Nocera <hadess src gnome org>]

commit ecd92a8c91874363f26f8364d14241344ec7cf45
Author: Jiro Matsuzawa <jmatsuzawa gnome org>
Date:   Mon Mar 25 01:46:13 2013 +0900

    wall-clock: Do not use colon in time format
    
    %R is the same as %H:%M. The separator is U+003A COLON. I replace it
    with RATIO (U+2236).
    
    https://bugzilla.gnome.org/show_bug.cgi?id=696497

 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 bf0c682..58012d9 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 %R and %S is U+2236 RATIO */
-                       format_string = show_seconds ? _("%a %b %e, %R∶%S")
-                               : _("%a %b %e, %R");
+                           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");
                } else if (show_weekday) {
                        /* Translators: This is the time format with day used
                           in 24-hour mode.
-                           The character between %R and %S is U+2236 RATIO */
-                       format_string = show_seconds ? _("%a %R∶%S")
-                               : _("%a %R");
+                           The character between %H, %M, and %S is U+2236 RATIO */
+                       format_string = show_seconds ? _("%a %H∶%M∶%S")
+                               : _("%a %H∶%M");
                } else {
                        /* Translators: This is the time format without date used
                           in 24-hour mode.
-                           The character between %R and %S is U+2236 RATIO */
-                       format_string = show_seconds ? _("%R∶%S") : _("%R");
+                           The character between %H, %M, and %S is U+2236 RATIO */
+                       format_string = show_seconds ? _("%H∶%M∶%S") : _("%H∶%M");
                }
        } else {
                if (show_full_date) {