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