Skip to content

minor: Simplify#13123

Merged
bors merged 1 commit intorust-lang:masterfrom
Veykril:simplify
Aug 26, 2022
Merged

minor: Simplify#13123
bors merged 1 commit intorust-lang:masterfrom
Veykril:simplify

Commits

Commits on Aug 26, 2022