Pete Resnick wrote:
On 1/15/04 at 7:09 PM +0100, Arnt Gulbrandsen wrote:
4. obs-time-of-day looks wrong.
obs-time-of-day = hour [CFWS] ":" [CFWS] minute [CFWS] ":" [[CFWS]
second]
Better:
obs-time-of-day = hour [CFWS] ":" [CFWS] minute [CFWS] [":" [CFWS]
second]
Yup, that looks better.
Agreed.