Skip to content

Conversation

@tmds
Copy link
Member

@tmds tmds commented Feb 17, 2023

@ghost ghost added area-Infrastructure-libraries community-contribution Indicates that the PR has been added by a community member labels Feb 17, 2023
@ghost
Copy link

ghost commented Feb 17, 2023

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries
See info in area-owners.md if you want to be subscribed.

Issue Details

Fixes #81480 (comment).

@ViktorHofer @uweigand ptal.

Author: tmds
Assignees: -
Labels:

area-Infrastructure-libraries

Milestone: -

Copy link
Member

@ViktorHofer ViktorHofer left a comment

Choose a reason for hiding this comment

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

Thanks for the quick fix 👍

@ViktorHofer ViktorHofer merged commit 6ede02b into dotnet:main Feb 17, 2023
@ghost ghost locked as resolved and limited conversation to collaborators Mar 19, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Infrastructure-libraries community-contribution Indicates that the PR has been added by a community member

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants