Skip to content

Fix heading nav level#2953

Merged
ehuss merged 2 commits intorust-lang:masterfrom
ehuss:fix-heading-nav-level
Nov 20, 2025
Merged

Fix heading nav level#2953
ehuss merged 2 commits intorust-lang:masterfrom
ehuss:fix-heading-nav-level

Commits

Commits on Nov 20, 2025