From f2bacdc6f3028d9fb098b2a0ea03f6567312bc57 Mon Sep 17 00:00:00 2001
From: Markus Bertheau <mbertheau@gmail.com>
Date: Wed, 21 Jan 2015 09:16:04 +0100
Subject: [PATCH] Correct 'german time format

We separate hour and minute with a colon, not with a period.
---
 racket/collects/racket/date.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/racket/collects/racket/date.rkt b/racket/collects/racket/date.rkt
index b604c03146..f7dc2606ba 100644
--- a/racket/collects/racket/date.rkt
+++ b/racket/collects/racket/date.rkt
@@ -118,7 +118,7 @@
                        [(12) "Dezember"]
                        [else ""])
                      " " year)
-               (list ", " hour24 "." minute))]
+               (list ", " hour24 ":" minute))]
       [(irish) 
        (values (list week-day ", " day day-th " " month " " year)
                (list ", " hour12 ":" minute am-pm))]