Skip to content

Accept more safety comments#75422

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

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

Commits