Skip to content

Conversation

@amgleitman
Copy link
Member

Cherry-pick of #1445.

Done by cherry-picking the non-merge commits from #1445 and resolving file conflicts as necessary.

@amgleitman amgleitman requested a review from a team as a code owner October 6, 2022 23:03
@amgleitman
Copy link
Member Author

Note that not all commits from the original PR have corresponding commits here. The individual commits represent places where we had to resolve a merge conflict. But rest assured, all the changes are still here.

@amgleitman amgleitman enabled auto-merge October 7, 2022 00:33
@amgleitman amgleitman merged commit 0335323 into microsoft:0.68-stable Oct 7, 2022
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.

2 participants