Skip to content

Fix typo in Unicode character name#62854

Merged
bors merged 1 commit intorust-lang:masterfrom
andrewda:fix-unicode-name
Jul 22, 2019
Merged

Fix typo in Unicode character name#62854
bors merged 1 commit intorust-lang:masterfrom
andrewda:fix-unicode-name

Commits

Commits on Jul 21, 2019