Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Jan 2, 2020

@RalfJung
Copy link
Member Author

RalfJung commented Jan 2, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Jan 2, 2020

📌 Commit c68996d has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Jan 2, 2020

⌛ Testing commit c68996d with merge f3c267d...

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

bors commented Jan 2, 2020

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

@bors bors merged commit c68996d into rust-lang:master Jan 2, 2020
@RalfJung RalfJung deleted the fixme branch January 15, 2020 18:36
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