Skip to content

handle EndRegion as no-op #199

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

Merged
merged 1 commit into from
Jun 20, 2017
Merged

handle EndRegion as no-op #199

merged 1 commit into from
Jun 20, 2017

Conversation

dwrensha
Copy link
Contributor

Fixes breakage from rust-lang/rust#39409.

@oli-obk oli-obk merged commit 2302f2b into rust-lang:master Jun 20, 2017
@dwrensha dwrensha deleted the end-region branch June 20, 2017 11:00
# 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