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.

Sign up for GitHub

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

Jump to bottom

use mutable function argument syntax in treemap/priority_queue #4633

Merged
merged 2 commits into from Jan 25, 2013
Merged

use mutable function argument syntax in treemap/priority_queue #4633

merged 2 commits into from Jan 25, 2013

Conversation

thestinger
Copy link
Contributor

No description provided.

@pcwalton
Copy link
Contributor

I didn't even know this worked.

@catamorphism
Copy link
Contributor

@pcwalton Yup, it landed as of c379d96

catamorphism added a commit that referenced this pull request Jan 25, 2013
@catamorphism
Merge pull request #4633 from thestinger/treemap
4a7e1ab 
use mutable function argument syntax in treemap/priority_queue
@catamorphism catamorphism merged commit 4a7e1ab into rust-lang:incoming Jan 25, 2013
@catamorphism
Copy link
Contributor

Thanks!

catamorphism added a commit that referenced this pull request Jan 25, 2013
@catamorphism
Revert "Merge pull request #4633 from thestinger/treemap"
d73077f 
I was too hasty in merging -- this needs a snapshot.

This reverts commit 4a7e1ab, reversing
changes made to e447521.
@ghost ghost assigned catamorphism Jan 25, 2013
@catamorphism
Copy link
Contributor

Sorry @thestinger , I was being careless and didn't think to let you know this will need a snapshot. You can wait for one and then I'll unrevert, or you can write stage0 / stage1/2 versions.

catamorphism added a commit that referenced this pull request Jan 29, 2013
@catamorphism
Revert "Revert "Merge pull request #4633 from thestinger/treemap""
3a6849f 
This reverts commit d73077f.
@catamorphism
Copy link
Contributor

This is now unreverted.

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

None yet
3 participants
@thestinger @pcwalton @catamorphism