Re: Texinfo 6.2 released

[Karl Berry]

    +   = ($ENV{SOURCE_DATE_EPOCH} ? gmtime($ENV{SOURCE_DATE_EPOCH})

FWIW, seems like SOURCE_DATE_EPOCH should be supported in (upstream) Texinfo.
At least, I can't think of a reason why not ... -k