[gnome-desktop] wall-clock: Fix missing "date separator"

[Florian Müllner <fmuellner src gnome org>]

commit 7819954cdeeee3ba690a9d7977c47154a71f0a9b
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Aug 2 00:19:54 2018 +0200

    wall-clock: Fix missing "date separator"
    
    We now expect date and time to be separated by underscore, which we
    replace by either en-space or double space. With so many format
    strings by now, one of them slipped through though ...

 libgnome-desktop/gnome-wall-clock.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/libgnome-desktop/gnome-wall-clock.c b/libgnome-desktop/gnome-wall-clock.c
index d83aed8f..b3756510 100644
--- a/libgnome-desktop/gnome-wall-clock.c
+++ b/libgnome-desktop/gnome-wall-clock.c
@@ -293,7 +293,7 @@ gnome_wall_clock_string_for_datetime (GnomeWallClock      *self,
                                /* Translators: This is the time format with full date
                                   used in 24-hour mode. Please keep the underscore to
                                   separate the date from the time. */
-                               format_string = show_seconds ? _("%b %e, %R:%S")
+                               format_string = show_seconds ? _("%b %e_%R:%S")
                                        : _("%b %e_%R");
                } else if (show_weekday) {
                        /* Translators: This is the time format with day used