Re: [PATCH 1/3] Documentation: allow overriding timestamps of generated asciidoc

Anders Kaseorg [off-list ref] writes:

That should make this Git patch unnecessary.  (You’re of course still 
welcome to take it if you think build reproducibility with old AsciiDoc 
versions is worthwhile.)

Thanks.  

I've queued these three only so that I won't lose track, but will
not hastily merge them down (yet) until I hear from people.