Skip to content

Conversation

jbclements
Copy link
Contributor

I believe this implements the change I mentioned a few days ago. The tree appears to compile following this change.

r? @nikomatsakis

@nikomatsakis
Copy link
Contributor

r+ --- do you have privileges to push yourself?

@graydon
Copy link
Contributor

graydon commented Jan 15, 2013

He does now :)

pcwalton added a commit that referenced this pull request Jan 16, 2013
@pcwalton pcwalton merged commit a2ec540 into rust-lang:incoming Jan 16, 2013
RalfJung added a commit to RalfJung/rust that referenced this pull request Jul 25, 2025
RalfJung added a commit to RalfJung/rust that referenced this pull request Jul 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants