Skip to content

Conversation

heycam
Copy link
Contributor

@heycam heycam commented Jan 17, 2017

No description provided.

@BurntSushi
Copy link
Member

Nice find! Thanks!

@BurntSushi
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Jan 20, 2017

📌 Commit 679fe35 has been approved by BurntSushi

@bors
Copy link
Contributor

bors commented Jan 21, 2017

⌛ Testing commit 679fe35 with merge 8766926...

bors added a commit that referenced this pull request Jan 21, 2017
Update comment to refer to get() instead of the previously removed at().
@bors
Copy link
Contributor

bors commented Jan 21, 2017

💔 Test failed - status-travis

@BurntSushi
Copy link
Member

@bors retry

@bors
Copy link
Contributor

bors commented Jan 21, 2017

⌛ Testing commit 679fe35 with merge 7c92322...

bors added a commit that referenced this pull request Jan 21, 2017
Update comment to refer to get() instead of the previously removed at().
@bors
Copy link
Contributor

bors commented Jan 21, 2017

💔 Test failed - status-travis

@BurntSushi
Copy link
Member

@bors retry

@bors
Copy link
Contributor

bors commented Jan 21, 2017

⌛ Testing commit 679fe35 with merge 28364ce...

bors added a commit that referenced this pull request Jan 21, 2017
Update comment to refer to get() instead of the previously removed at().
@bors
Copy link
Contributor

bors commented Jan 21, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: BurntSushi
Pushing 28364ce to master...

@bors bors merged commit 679fe35 into rust-lang:master Jan 21, 2017
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.

3 participants