Skip to content

fix typo SubstRef to SubstsRef#1642

Merged
tshepang merged 1 commit intorust-lang:masterfrom
ohno418:fix-typo-SubstRef
Mar 12, 2023
Merged

fix typo `SubstRef` to `SubstsRef`#1642
tshepang merged 1 commit intorust-lang:masterfrom
ohno418:fix-typo-SubstRef

Commits

Commits on Mar 12, 2023