Skip to content

Fix FP in unnecessary_safety_comment#10106

Merged
bors merged 1 commit intorust-lang:masterfrom
koka831:fix/10084
Jan 22, 2023
Merged

Fix FP in `unnecessary_safety_comment`#10106
bors merged 1 commit intorust-lang:masterfrom
koka831:fix/10084

Commits

Commits on Jan 9, 2023