Skip to content

cast_possible_truncation: issue proper help message#10330

Merged
bors merged 1 commit intorust-lang:masterfrom
samueltardieu:10325
Feb 12, 2023
Merged

cast_possible_truncation: issue proper help message#10330
bors merged 1 commit intorust-lang:masterfrom
samueltardieu:10325

Commits

Commits on Feb 12, 2023