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 4 pull requests #71746

Closed
wants to merge 10 commits into from

Conversation

Dylan-DPC-zz
Copy link

Successful merges:

Failed merges:

r? @ghost

lcnr and others added 10 commits April 30, 2020 17:44
Referenced was removed in 9f492fe
Miri: port error backtraces to std::backtrace

No need to pull in an external dependency if libstd already includes this feature (using the same dependency internally, but... still).

r? @oli-obk
…-obk

remove AllocId generalization of Pointer

This was only needed for the "snapshot" machinery, which is gone.

r? @oli-obk
remove obsolete comment

Referenced was removed in 9f492fe
@Dylan-DPC-zz
Copy link
Author

@bors r+ rollup=never p=4

@bors
Copy link
Contributor

bors commented May 1, 2020

📌 Commit fbdb885 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 May 1, 2020
@RalfJung
Copy link
Member

RalfJung commented May 1, 2020

Could you re-build the rollup to include #71749 ?

@Dylan-DPC-zz
Copy link
Author

sure no problem.. rerollin'

@RalfJung
Copy link
Member

RalfJung commented May 1, 2020

Thank you ❤️

@Dylan-DPC-zz
Copy link
Author

#71750 is the new rollup

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
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.

6 participants