Skip to content

Conversation

@lewing
Copy link
Member

@lewing lewing commented Nov 15, 2023

No description provided.

@ghost
Copy link

ghost commented Nov 15, 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: lewing
Assignees: -
Labels:

area-Infrastructure-libraries

Milestone: -

@ghost
Copy link

ghost commented Nov 15, 2023

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

Issue Details

null

Author: lewing
Assignees: lewing
Labels:

Servicing-approved, area-Infrastructure

Milestone: -

@carlossanlop
Copy link
Contributor

Fast merging to see if it unblocks the branch.

@carlossanlop carlossanlop merged commit a787c34 into dotnet:release/8.0-staging Nov 15, 2023
@carlossanlop carlossanlop added this to the 8.0.1 milestone Nov 16, 2023
@lewing lewing deleted the pin-8.0.100 branch November 16, 2023 05:44
@github-actions github-actions bot locked and limited conversation to collaborators Dec 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Infrastructure Servicing-approved Approved for servicing release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants