Skip to content

Accept more safety comments#75422

Merged
bors merged 1 commit into
rust-lang:masterfrom
poliorcetics:tidy-accept-more-safety-comments
Aug 12, 2020
Merged

Accept more safety comments#75422
bors merged 1 commit into
rust-lang:masterfrom
poliorcetics:tidy-accept-more-safety-comments

Accept more safety comments (notably those that are on multiple lines…

883dffa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs