Skip to content

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented May 25, 2022

corresponding rustc PR: rust-lang/rust#97385

@oli-obk oli-obk mentioned this pull request May 26, 2022
@oli-obk
Copy link
Contributor Author

oli-obk commented May 26, 2022

r? @pnkfelix (as per "don't merge things yourself").

It's going to be interesting what git subtree does with rebase/squash merges. So let's see what happens and i'll add docs in case it's nontrivial

@oli-obk
Copy link
Contributor Author

oli-obk commented Jun 2, 2022

Gonna merge this myself as I'm doing another sync right now and don't want to mix up repositories

@oli-obk oli-obk merged commit 9abcb5c into rust-lang:smir Jun 2, 2022
@oli-obk oli-obk deleted the smir branch June 2, 2022 10:06
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.

1 participant