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

Jump to bottom

use new visitor to erase regions #32482

Merged
merged 1 commit into from
Mar 26, 2016
Merged

use new visitor to erase regions #32482

merged 1 commit into from
Mar 26, 2016

Conversation

nikomatsakis
Copy link
Contributor

r? @nagisa

@nagisa
Copy link
Member

nagisa commented Mar 25, 2016

@bors r+ e539b74

Looks good.

@Manishearth Manishearth mentioned this pull request Mar 26, 2016
Closed
bors added a commit that referenced this pull request Mar 26, 2016
@bors
Auto merge of #32495 - Manishearth:rollup, r=<try>
49312a4 
Rollup of 18 pull requests

- Successful merges: #32131, #32199, #32257, #32325, #32383, #32387, #32432, #32435, #32440, #32447, #32448, #32456, #32468, #32470, #32476, #32478, #32484, #32492
- Failed merges: #32240, #32469, #32482
@Manishearth Manishearth mentioned this pull request Mar 26, 2016
Merged
Manishearth added a commit to Manishearth/rust that referenced this pull request Mar 26, 2016
@Manishearth
Rollup merge of rust-lang#32482 - nikomatsakis:erase-via-visitor, r=n…
317acb7 
…agisa

use new visitor to erase regions

r? @nagisa
bors added a commit that referenced this pull request Mar 26, 2016
@bors
Auto merge of #32496 - Manishearth:rollup, r=Manishearth
d322f99 
Rollup of 11 pull requests

- Successful merges: #32131, #32199, #32257, #32325, #32435, #32447, #32448, #32456, #32469, #32476, #32482
- Failed merges: #32240
@bors bors merged commit e539b74 into rust-lang:master Mar 26, 2016
@nikomatsakis nikomatsakis deleted the erase-via-visitor branch March 30, 2016 16:12
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@nikomatsakis @nagisa @bors