Skip to content

HirIdification fixes#3834

Merged
bors merged 3 commits into
rust-lang:masterfrom
ljedrz:HirIdification_fix
Mar 3, 2019
Merged

HirIdification fixes#3834
bors merged 3 commits into
rust-lang:masterfrom
ljedrz:HirIdification_fix

Conversation

@ljedrz

@ljedrz ljedrz commented Mar 1, 2019

Copy link
Copy Markdown
Contributor

Supersedes #3828, enables rust-lang/rust#58836.

As usual, requesting a branch.

@flip1995

flip1995 commented Mar 1, 2019

Copy link
Copy Markdown
Member

Done!

@phansch phansch closed this Mar 3, 2019
@phansch phansch reopened this Mar 3, 2019
@phansch

phansch commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

@ljedrz

ljedrz commented Mar 3, 2019

Copy link
Copy Markdown
Contributor Author

Cool, I'll update shortly (a bit later today or tomorrow).

@phansch

phansch commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

@ljedrz I took the liberty and pushed 68096cf to your branch, that should fix Clippy for now =)

@phansch

phansch commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

@bors r+ thanks again!

@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

📌 Commit 68096cf has been approved by phansch

@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit 68096cf with merge 9d1792a...

bors added a commit that referenced this pull request Mar 3, 2019
HirIdification fixes

Supersedes #3828, enables rust-lang/rust#58836.

As usual, requesting a branch.
@bors

bors commented Mar 3, 2019

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis, status-appveyor
Approved by: phansch
Pushing 9d1792a to master...

@bors bors merged commit 68096cf into rust-lang:master Mar 3, 2019
@ljedrz ljedrz deleted the HirIdification_fix branch March 3, 2019 12:55
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.

4 participants