Skip to content

get rid of tidy 'unnecessarily ignored' warnings - #98717

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:make-tidy-less-annoying
Jul 1, 2022
Merged

get rid of tidy 'unnecessarily ignored' warnings#98717
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:make-tidy-less-annoying

get rid of some tidy 'unnecessarily ignored' warnings

8515475
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs