Skip to content

Conversation

@nojaf
Copy link
Contributor

@nojaf nojaf commented May 2, 2023

Trying out the suggestion from Don at #13839 (comment)
//cc @edgarfgp

@nojaf nojaf requested a review from a team as a code owner May 2, 2023 07:11
@T-Gro
Copy link
Member

T-Gro commented May 2, 2023

(I restarted CI because Linux build timed out. But I did not see any other issues => looks good)

Copy link
Contributor

@edgarfgp edgarfgp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, Florian :)

Copy link
Contributor

@psfinaki psfinaki left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool, any benchmarks on this?

@vzarytovskii vzarytovskii merged commit 8746c3a into dotnet:main May 2, 2023
@nojaf
Copy link
Contributor Author

nojaf commented May 2, 2023

Cool, any benchmarks on this?

No, not really.

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

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

5 participants