ordb1 uses milliseconds in its descriptor, spec says it can't

router ordb1 213.246.53.127 8002 0 0
platform Tor 0.2.3.25 on Linux x86_64
opt protocols Link 1 2 Circuit 1
published 2013-07-17 13:38:46.992

But dir-spec.txt says

    "published" YYYY-MM-DD HH:MM:SS NL

       [Exactly once]

       The time, in UTC, when this descriptor (and its corresponding
       extra-info document if any)  was generated.

It looks like it's violating the spec. Should we (i.e. the directory authorities) have validated and refused the descriptor?

Is it our Tor implementation that does this on a weird edge case, or did somebody mess with something?

(Noticed because contrib/exitlist can't handle it.)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information