Chris Lamb <la...@debian.org> writes: > I believe so, yes. I didn't spot that wishlist bug as it didn't > have a patch.
Looks like the upstream fix doesn't include the change to mkdocs/nav.py; can you please confirm this is required? https://github.com/mkdocs/mkdocs/pull/939/commits/8b006bd7fda55e47e29412896c511c7244398f82 If so, we might need to update the ticket to say it wasn't fixed: https://github.com/mkdocs/mkdocs/issues/938 -- Brian May <b...@debian.org>
