Skip to content

Conversation

Evangelink
Copy link
Member

@Evangelink Evangelink commented Sep 29, 2022

As part of the implementation of the fix for #522, I identified multiple possible improvements that I decided to split into multiple PRs as they all have a different scope that contributes to the resolution of #522. This is the 1st improvement PR that focuses on merging and simplifying the different implementations.

@Evangelink Evangelink marked this pull request as ready for review September 30, 2022 07:27
@Evangelink Evangelink merged commit d119406 into microsoft:main Sep 30, 2022
@Evangelink Evangelink deleted the timeout branch September 30, 2022 08:01
@Evangelink
Copy link
Member Author

Thanks @nohwnd!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants