Re: Generalized Time/UTC Time need leap seconds

[Hallvard B Furuseth <h.b.furuseth@usit.uio.no>]

I wrote:
> [Syntaxes] 4.3.13 (Generalized Time) says:
> 
>       second  = %x30-36 %x30-39                        ; "00" to "59"
> 
> That should be "00" to "60", since Coordinated Universal Time has
> leap seconds.  See e.g. <http://tycho.usno.navy.mil/systime.html>.

BTW, I just noticed that the current syntax, and that for minutes,
allow 00-69, not 00-59.  Try

      second  = %x30-35 %x30-39 / %x36 %x30            ; "00" to "60"

-- 
Hallvard