Skip to content

Find original as node before compute ref match #12800

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

Merged
merged 1 commit into from
Jul 20, 2022

Conversation

0xPoe
Copy link
Member

@0xPoe 0xPoe commented Jul 18, 2022

part of #12717

@0xPoe
Copy link
Member Author

0xPoe commented Jul 18, 2022

Before I fix the rest of the code, I want to make sure I understand it correctly. @Veykril Could you please take a look?

@0xPoe 0xPoe force-pushed the rustin-patch-issue-12717 branch from e1f0468 to a759b59 Compare July 18, 2022 14:06
Signed-off-by: hi-rustin <rustin.liu@gmail.com>
@0xPoe 0xPoe force-pushed the rustin-patch-issue-12717 branch from a759b59 to 15016bc Compare July 18, 2022 15:25
@Veykril
Copy link
Member

Veykril commented Jul 19, 2022

Are you planning on adding the remaining ones here as well or in a separate PR? Either works for me, just making sure :)

@bors delegate+

@bors
Copy link
Contributor

bors commented Jul 19, 2022

✌️ @hi-rustin can now approve this pull request

@0xPoe
Copy link
Member Author

0xPoe commented Jul 20, 2022

@bors r+

I'll fix the remaining code in another PR.
Thanks for your review! 💚 💙 💜 💛 ❤️

@bors
Copy link
Contributor

bors commented Jul 20, 2022

📌 Commit 15016bc has been approved by hi-rustin

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 20, 2022

⌛ Testing commit 15016bc with merge 0e71356...

@bors
Copy link
Contributor

bors commented Jul 20, 2022

☀️ Test successful - checks-actions
Approved by: hi-rustin
Pushing 0e71356 to master...

@bors bors merged commit 0e71356 into rust-lang:master Jul 20, 2022
@0xPoe 0xPoe deleted the rustin-patch-issue-12717 branch July 20, 2022 00:37
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