Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

HirIdification fixes #3834

Merged
merged 3 commits into from
Mar 3, 2019
Merged

HirIdification fixes #3834

merged 3 commits into from
Mar 3, 2019

Conversation

ljedrz
Copy link
Contributor

@ljedrz ljedrz commented Mar 1, 2019

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

As usual, requesting a branch.

@flip1995
Copy link
Member

flip1995 commented Mar 1, 2019

Done!

@phansch phansch closed this Mar 3, 2019
@phansch phansch reopened this Mar 3, 2019
@phansch
Copy link
Member

phansch commented Mar 3, 2019

@ljedrz
Copy link
Contributor Author

ljedrz commented Mar 3, 2019

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

@phansch
Copy link
Member

phansch commented Mar 3, 2019

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

@phansch
Copy link
Member

phansch commented Mar 3, 2019

@bors r+ thanks again!

@bors
Copy link
Collaborator

bors commented Mar 3, 2019

📌 Commit 68096cf has been approved by phansch

@bors
Copy link
Collaborator

bors commented Mar 3, 2019

⌛ 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
Copy link
Collaborator

bors commented Mar 3, 2019

☀️ 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