Skip to content

Fix bug introduced by #9386#9635

Merged
bors merged 1 commit intorust-lang:masterfrom
smoelius:fix-9386-bug
Oct 20, 2022
Merged

Fix bug introduced by #9386#9635
bors merged 1 commit intorust-lang:masterfrom
smoelius:fix-9386-bug

Commits

Commits on Oct 12, 2022