Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Nov 8, 2019

No description provided.

@RalfJung
Copy link
Member Author

RalfJung commented Nov 8, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Nov 8, 2019

📌 Commit 37b1190 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Nov 8, 2019

⌛ Testing commit 37b1190 with merge 8355437...

bors added a commit that referenced this pull request Nov 8, 2019
@bors
Copy link
Contributor

bors commented Nov 8, 2019

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

@bors bors merged commit 37b1190 into rust-lang:master Nov 8, 2019
@RalfJung RalfJung deleted the uprust branch November 9, 2019 08:01
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