Skip to content

Fix spacing with ordered lists#2131

Open
ehuss wants to merge 1 commit intorust-lang:masterfrom
ehuss:ol-spacing
Open

Fix spacing with ordered lists#2131
ehuss wants to merge 1 commit intorust-lang:masterfrom
ehuss:ol-spacing

Commits

Commits on Jan 9, 2026