Fix #2995: Skip duplicate first header in sidebar header navigation#3039
Open
cobyfrombrooklyn-bot wants to merge 1 commit into
Open
Fix #2995: Skip duplicate first header in sidebar header navigation#3039cobyfrombrooklyn-bot wants to merge 1 commit into
cobyfrombrooklyn-bot wants to merge 1 commit into
Commits
Commits on Feb 25, 2026
- committed
cobyfrombrooklyn-bot