Skip to content

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label Dec 13, 2019
@RalfJung RalfJung removed the S-blocked-on-rust Status: Blocked on landing a Rust PR label Dec 14, 2019
@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Dec 14, 2019

📌 Commit bbd512d has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Dec 14, 2019

⌛ Testing commit bbd512d with merge 60c7509...

bors added a commit that referenced this pull request Dec 14, 2019
@bors
Copy link
Contributor

bors commented Dec 14, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing 60c7509 to master...

@bors bors merged commit bbd512d into rust-lang:master Dec 14, 2019
@RalfJung RalfJung deleted the vtable branch December 14, 2019 12:41
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.

2 participants