Skip to content

Rollup of 11 pull requests#72727

Merged
bors merged 24 commits into
rust-lang:masterfrom
JohnTitor:rollup-nni16m2
May 29, 2020
Merged

Rollup of 11 pull requests#72727
bors merged 24 commits into
rust-lang:masterfrom
JohnTitor:rollup-nni16m2

Rollup merge of #72720 - poliorcetics:clarify-take-doc, r=joshtriplett

fb506af
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs