Skip to content

Conversation

@alfiedotwtf
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Contributor

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@alfiedotwtf
Copy link
Contributor Author

Hang on. Some of my changes didn't come though. Sigh.

Running make check and tidy now. I'll tell you when it's ready to go. Sigh again.

@alfiedotwtf
Copy link
Contributor Author

@alexcrichton 06dbde8 is good to go

@alexcrichton
Copy link
Member

@bors: r+ 06dbde8

@bors
Copy link
Collaborator

bors commented Jan 27, 2015

⌛ Testing commit 06dbde8 with merge 85374bc...

@bors
Copy link
Collaborator

bors commented Jan 27, 2015

💔 Test failed - auto-mac-64-opt

@alexcrichton
Copy link
Member

@bors: r+ 00a933f

Feel free to ping the PR when it's updated, unfortunately github doesn't send out notifications on a force push!

@alfiedotwtf
Copy link
Contributor Author

Ahh I wasn't aware of that! :) What's the best way to ping? I'm guessing just make a comment with at-?

@alexcrichton
Copy link
Member

Yeah a new comment would do just fine.

@bors
Copy link
Collaborator

bors commented Feb 2, 2015

⌛ Testing commit 00a933f with merge 758a296...

@bors
Copy link
Collaborator

bors commented Feb 2, 2015

@bors bors merged commit 00a933f into rust-lang:master Feb 2, 2015
@alfiedotwtf alfiedotwtf deleted the suffix-medium branch February 3, 2015 11:38
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