bug#13544: (web http) fails to parse numeric timezones in Date header

[Ludovic Courtès]

Daniel Hartwig <address@hidden> skribis:

>>From 430fc9498ee08f6d06b5ec494a5d65e395c6c067 Mon Sep 17 00:00:00 2001
> From: Daniel Hartwig <address@hidden>
> Date: Fri, 15 Mar 2013 22:25:10 +0800
> Subject: [PATCH] web http: parse numeric time zones in headers
>
> * module/web/http.scm (parse-zone-offset, normalize-date): New
>   procedures.
>   (parse-rfc-822-date, parse-rfc-850-date, parse-date): Update.
> * test-suite/tests/web-http.test ("general headers"): Add test.

I’ve pushed the patch, so I guess we can close this bug now.

Thanks!

Ludo’.