Skip to content

Fix breakage due to rust-lang/rust#61708#4407

Merged
bors merged 3 commits into
masterfrom
unknown repository
Aug 18, 2019
Merged

Fix breakage due to rust-lang/rust#61708#4407
bors merged 3 commits into
masterfrom
unknown repository

Conversation

@ghost

@ghost ghost commented Aug 18, 2019

Copy link
Copy Markdown

Includes commits from #4406

changelog: none

@flip1995

Copy link
Copy Markdown
Member

@bors r+ p=20

@bors

bors commented Aug 18, 2019

Copy link
Copy Markdown
Contributor

📌 Commit b313d25 has been approved by flip1995

@bors

bors commented Aug 18, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit b313d25 with merge e92c489...

bors added a commit that referenced this pull request Aug 18, 2019
Fix breakage due to  rust-lang/rust#61708

Includes commits from #4406

changelog: none
@bors

bors commented Aug 18, 2019

Copy link
Copy Markdown
Contributor

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

@bors bors merged commit b313d25 into rust-lang:master Aug 18, 2019
@ghost ghost deleted the fix-breakage-20190818 branch September 24, 2019 05:00
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.

3 participants