Skip to content

Lowercase heading IDs#2922

Merged
ehuss merged 2 commits intorust-lang:masterfrom
ehuss:header-id-lowercase
Nov 5, 2025
Merged

Lowercase heading IDs#2922
ehuss merged 2 commits intorust-lang:masterfrom
ehuss:header-id-lowercase

Commits

Commits on Nov 5, 2025