Skip to content

Fix a missing dot in the main item heading#92864

Merged
bors merged 1 commit intorust-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 intorust-lang:masterfrom
Urgau:fix-missing-source-dot

Commits

Commits on Jan 13, 2022