Skip to content

Fix misspelling of "constraint" as "contraint"#98113

Merged
bors merged 1 commit intorust-lang:masterfrom
EdwinRy:constraint-misspelling
Jun 15, 2022
Merged

Fix misspelling of "constraint" as "contraint"#98113
bors merged 1 commit intorust-lang:masterfrom
EdwinRy:constraint-misspelling

Commits

Commits on Jun 15, 2022