Skip to content

Conversation

@akoeplinger
Copy link
Member

No description provided.

@ghost
Copy link

ghost commented Oct 30, 2023

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

Issue Details

null

Author: akoeplinger
Assignees: -
Labels:

area-Infrastructure-libraries

Milestone: -

@ghost ghost assigned akoeplinger Oct 30, 2023
@akoeplinger
Copy link
Member Author

Merging since this is not exercised by CI.

@akoeplinger akoeplinger merged commit 3295789 into dotnet:main Oct 30, 2023
@akoeplinger akoeplinger deleted the delete-file branch October 30, 2023 13:21
@ghost ghost locked as resolved and limited conversation to collaborators Nov 29, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants