Skip to content

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Jan 14, 2020

@locks
Copy link
Contributor

locks commented Jan 14, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Jan 14, 2020

📌 Commit 5a0dda7 has been approved by locks

@bors
Copy link
Contributor

bors commented Jan 14, 2020

⌛ Testing commit 5a0dda7 with merge 5cc7fb4...

bors added a commit that referenced this pull request Jan 14, 2020
@bors
Copy link
Contributor

bors commented Jan 14, 2020

☀️ Test successful - checks-travis
Approved by: locks
Pushing 5cc7fb4 to master...

@bors bors merged commit 5a0dda7 into rust-lang:master Jan 14, 2020
@Turbo87 Turbo87 deleted the grouper branch March 30, 2020 20:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants