Skip to content

Fix a missing dot in the main item heading#92864

Merged
bors merged 1 commit into
rust-lang:masterfrom
Urgau:fix-missing-source-dot
Jan 14, 2022
Merged

Fix a missing dot in the main item heading#92864
bors merged 1 commit into
rust-lang:masterfrom
Urgau:fix-missing-source-dot

Fix and improve missing dot in the item heading

d5871d0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs