Skip to content
New issue

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

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

Already on GitHub? # to your account

Rc should be fixed #516

Merged
merged 2 commits into from
Nov 12, 2018
Merged

Rc should be fixed #516

merged 2 commits into from
Nov 12, 2018

Conversation

RalfJung
Copy link
Member

With rust-lang/rust#55764 landed, this should work -- after the next nightly.

Based on rust-lang#493 but there were more conflicts
than code so I opted not to cherry-pick.
@RalfJung
Copy link
Member Author

I made #493 a part of this. Should be good to go.

@oli-obk oli-obk merged commit bb5cea0 into rust-lang:master Nov 12, 2018
@RalfJung RalfJung deleted the rc branch November 30, 2018 08:26
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants