Skip to content

chore: source code improvements#10073

Merged
yufeih merged 3 commits intodotnet:mainfrom
Patrick8639:chore/source-code-improvements
Jul 9, 2024
Merged

chore: source code improvements#10073
yufeih merged 3 commits intodotnet:mainfrom
Patrick8639:chore/source-code-improvements

Conversation

@Patrick8639
Copy link
Contributor

Some improvements found when looking to implement a feature.

@Patrick8639 Patrick8639 changed the title chore/source code improvements chore: source code improvements Jul 8, 2024
@yufeih yufeih added the engineering Makes the pull request to appear in the "Engineering" section of the next release note label Jul 9, 2024
@yufeih yufeih merged commit 5ed62db into dotnet:main Jul 9, 2024
@Patrick8639 Patrick8639 deleted the chore/source-code-improvements branch July 12, 2024 09:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

engineering Makes the pull request to appear in the "Engineering" section of the next release note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants