Skip to content

Conversation

@gfoidl
Copy link
Member

@gfoidl gfoidl commented Dec 17, 2022

@ghost ghost added community-contribution Indicates that the PR has been added by a community member area-Meta labels Dec 17, 2022
@ghost
Copy link

ghost commented Dec 17, 2022

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

Issue Details

Cf. #75790 (comment)

Author: gfoidl
Assignees: -
Labels:

area-Meta, community-contribution

Milestone: -

@gfoidl gfoidl mentioned this pull request Dec 17, 2022
Copy link
Member

@jkotas jkotas left a comment

Choose a reason for hiding this comment

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

Thanks!

@jkotas jkotas merged commit 2d1ca83 into dotnet:main Dec 17, 2022
@gfoidl gfoidl deleted the fix-links branch December 17, 2022 16:25
@ghost ghost locked as resolved and limited conversation to collaborators Jan 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Meta 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