Skip to content

Conversation

RalfJung
Copy link
Member

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Oct 18, 2020

📌 Commit 5df6d8b has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Oct 18, 2020

⌛ Testing commit 5df6d8b with merge d5380be...

@bors
Copy link
Contributor

bors commented Oct 18, 2020

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

@bors bors merged commit d5380be into rust-lang:master Oct 18, 2020
@RalfJung RalfJung deleted the available-concurrency branch October 18, 2020 09:59
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