Skip to content

Conversation

tesuji
Copy link
Contributor

@tesuji tesuji commented Aug 6, 2019

Unblock rust-lang/rust#63280

changelog: none

@phansch
Copy link
Contributor

phansch commented Aug 6, 2019

cc @oli-obk, since you wrote the unwrap_usize fix PR

@tesuji
Copy link
Contributor Author

tesuji commented Aug 6, 2019

Thanks for your review, @oli-obk . Could you take another look into this?

@phansch phansch added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Aug 7, 2019
@oli-obk
Copy link
Contributor

oli-obk commented Aug 7, 2019

@bors r+

jup, looks great now

@bors
Copy link
Contributor

bors commented Aug 7, 2019

📌 Commit e4f8cd9 has been approved by oli-obk

@bors
Copy link
Contributor

bors commented Aug 7, 2019

⌛ Testing commit e4f8cd9 with merge b041511...

bors added a commit that referenced this pull request Aug 7, 2019
@bors
Copy link
Contributor

bors commented Aug 7, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: oli-obk
Pushing b041511 to master...

@bors bors merged commit e4f8cd9 into rust-lang:master Aug 7, 2019
@tesuji tesuji deleted the rustup branch August 7, 2019 08:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants