Skip to content

Conversation

@mmitche
Copy link
Member

@mmitche mmitche commented Jul 16, 2024

Ported from 9ca60f5 (#92451)

@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jul 16, 2024
@mmitche mmitche requested a review from jkoritzinsky July 16, 2024 16:41
@carlossanlop carlossanlop added Servicing-approved Approved for servicing release area-Infrastructure and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Jul 16, 2024
@dotnet-policy-service
Copy link
Contributor

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

@carlossanlop
Copy link
Contributor

Fast merging, let's monitor the internal builds instead

@carlossanlop carlossanlop merged commit 2d5c0b7 into dotnet:release/8.0 Jul 16, 2024
@github-actions github-actions bot locked and limited conversation to collaborators Aug 16, 2024
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

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants