Skip to content

Fall back to "section" id for punctuation-only headings#3092

Open
ChrisJr404 wants to merge 1 commit into
rust-lang:masterfrom
ChrisJr404:fix/punctuation-heading-id-3002
Open

Fall back to "section" id for punctuation-only headings#3092
ChrisJr404 wants to merge 1 commit into
rust-lang:masterfrom
ChrisJr404:fix/punctuation-heading-id-3002

Commits

Commits on May 7, 2026