Skip to content

Conversation

@Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Mar 6, 2020

This should (at least partly) unblock #2254

r? @locks

@locks
Copy link
Contributor

locks commented Mar 6, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Mar 6, 2020

📌 Commit e9f0071 has been approved by locks

@bors
Copy link
Contributor

bors commented Mar 6, 2020

⌛ Testing commit e9f0071 with merge f17f2dd...

@bors
Copy link
Contributor

bors commented Mar 6, 2020

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

@bors bors merged commit f17f2dd into rust-lang:master Mar 6, 2020
@Turbo87 Turbo87 deleted the in-element branch March 20, 2020 15:00
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