Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rollup of 5 pull requests #72995

Merged
merged 10 commits into from
Jun 4, 2020
Merged

Rollup of 5 pull requests #72995

merged 10 commits into from
Jun 4, 2020

Conversation

Dylan-DPC-zz
Copy link

Successful merges:

Failed merges:

r? @ghost

lcnr and others added 10 commits June 3, 2020 15:59
Show assertion on len too to show them how adding new items will affect both the
length and capacity, before and after.
remove outdated fixme

This function now accepts `impl Iterator<Item = ty::Predicate<'tcx>>`.
Hexagon libstd: fix typo for c_ulonglong
Add more assert to Vec with_capacity docs

Show assertion on len too to show them how adding new items will affect both the
length and capacity, before and after.
…acrum

Add myself to mailmap

Now that I have (accidentally) made contributions using two separate email addresses, I've added the rest of the addresses I typical use.
@Dylan-DPC-zz
Copy link
Author

@bors r+ rollup=never p=5

@bors
Copy link
Contributor

bors commented Jun 4, 2020

📌 Commit e6b5d88 has been approved by Dylan-DPC

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jun 4, 2020
@bors
Copy link
Contributor

bors commented Jun 4, 2020

⌛ Testing commit e6b5d88 with merge 47c3158...

@bors
Copy link
Contributor

bors commented Jun 4, 2020

☀️ Test successful - checks-azure
Approved by: Dylan-DPC
Pushing 47c3158 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jun 4, 2020
@bors bors merged commit 47c3158 into rust-lang:master Jun 4, 2020
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.

7 participants