On Fri, 13 Mar 2020, Brad House wrote:
> Any chance you could sync one more time. I fixed another man2html issue ...
As of now, the site pulls the source and git repos every hour and updates the
site accordingly.
-- / daniel.haxx.seReceived on 2020-03-13