Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Sep 7, 2020

No description provided.

@RalfJung
Copy link
Member Author

RalfJung commented Sep 7, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Sep 7, 2020

📌 Commit 3fdbc0f has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Sep 7, 2020

⌛ Testing commit 3fdbc0f with merge 3bc1136...

@bors
Copy link
Contributor

bors commented Sep 7, 2020

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

@bors bors merged commit 3bc1136 into rust-lang:master Sep 7, 2020
@RalfJung RalfJung deleted the issue branch September 8, 2020 08:50
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