From: Junio C Hamano <junkio@cox.net>
Date: Fri, 07 Jul 2006 19:25:17 GMT
Subject: Re: [PATCH] do not use locale specific strftime when preparing 2822 date
Message-ID: <7vveq9w736.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <e8mb4l$t1u$1@sea.gmane.org>

Jakub Narebski <jnareb@gmail.com> writes:

> It looks like it is _almost_ correct. It should be
>   Date: Fri, 07 Jul 2006 20:57:55 +0200
> instead of
>   Date: Fri,  7 Jul 2006 20:57:55 +0200
>
> It is "day = ([FWS] 1*2DIGIT) / obs-day" in RFC2822.

I think you are reading ABNF wrong. <a>*<b>element means at least
<a> times and at most <b> times occurrences of element.  Exact
number of repetition is written as <n>element (which is a
short-and for <n>*<n>element).

See the definition of "hour" and friends a few lines below what
you quoted.  It is defined as "2DIGIT / obs-hour" and that is
why we say "01:23:45" not "1:23:45"