Skip to content

Rollup of 7 pull requests#70016

Merged
bors merged 20 commits intorust-lang:masterfrom
Dylan-DPC-zz:rollup-5k7lxs3
Mar 15, 2020
Merged

Rollup of 7 pull requests#70016
bors merged 20 commits intorust-lang:masterfrom
Dylan-DPC-zz:rollup-5k7lxs3

Conversation

@Dylan-DPC-zz
Copy link

Successful merges:

Failed merges:

r? @ghost

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants