> Looks like the upstream fix doesn't include the change to mkdocs/nav.py; > can you please confirm this is required?
update_time is used when generating sitemaps.xml files, otherwise they aren't reproducible either. Regards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-