Fix sidebar scroll position when heading nav is involved#2982
Merged
ehuss merged 1 commit intorust-lang:masterfrom Dec 11, 2025
Merged
Fix sidebar scroll position when heading nav is involved#2982ehuss merged 1 commit intorust-lang:masterfrom
ehuss merged 1 commit intorust-lang:masterfrom
