New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Address PR review comments from #1352 #1359

Merged

eerhardt merged 1 commit into dotnet:main from eerhardt:PortReviewComments

Dec 12, 2023

Member

eerhardt commented Dec 12, 2023 •

edited by dotnet-policy-service bot

Loading

Microsoft Reviewers: Open in CodeFlow


          Address PR review comments from dotnet#1352

05e49b9

eerhardt requested a review from davidfowl

December 12, 2023 16:25

dotnet-issue-labeler bot added the area-app-model label

davidfowl approved these changes

View reviewed changes

eerhardt merged commit d3d9a8b into dotnet:main

8 checks passed

eerhardt deleted the PortReviewComments branch

December 12, 2023 17:29

github-actions bot locked and limited conversation to collaborators

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

Labels