Skip to content

Conversation

tesuji
Copy link
Contributor

@tesuji tesuji commented Jun 14, 2019

Rustup rust-lang/rust#61817

changelog: none

@Manishearth
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Jun 14, 2019

📌 Commit 9bfdbd1 has been approved by Manishearth

@bors
Copy link
Contributor

bors commented Jun 14, 2019

⌛ Testing commit 9bfdbd1 with merge 1a7875c...

bors added a commit that referenced this pull request Jun 14, 2019
Fix wrong lifetime of TyCtxt

Rustup rust-lang/rust#61817

changelog: none
@tesuji
Copy link
Contributor Author

tesuji commented Jun 14, 2019

I think we need to wait after rust-lang/rust#61817 is merged

@bors
Copy link
Contributor

bors commented Jun 14, 2019

💔 Test failed - status-appveyor

@tesuji
Copy link
Contributor Author

tesuji commented Jun 14, 2019

rust-lang/rust#61817 is merged, should be good to go!

@matthiaskrgr
Copy link
Member

@bors retry

bors added a commit that referenced this pull request Jun 14, 2019
Fix wrong lifetime of TyCtxt

Rustup rust-lang/rust#61817

changelog: none
@bors
Copy link
Contributor

bors commented Jun 14, 2019

⌛ Testing commit 9bfdbd1 with merge be5d17f...

@bors
Copy link
Contributor

bors commented Jun 14, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: Manishearth
Pushing be5d17f to master...

@bors bors merged commit 9bfdbd1 into rust-lang:master Jun 14, 2019
@tesuji tesuji deleted the TyCtxt-lifetime branch June 15, 2019 00:47
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