Skip to content

Slightly tweak comments wrt lint_overflowing_range_endpoint#102602

Merged
bors merged 1 commit intorust-lang:masterfrom
WaffleLapkin:linty_action
Oct 22, 2022

Commits

Commits on Oct 2, 2022