Skip to content

simplify some refs#108102

Merged
bors merged 1 commit intorust-lang:masterfrom
matthiaskrgr:ref
Feb 16, 2023
Merged

simplify some refs#108102
bors merged 1 commit intorust-lang:masterfrom
matthiaskrgr:ref

Commits

Commits on Feb 15, 2023