Skip to content

Merge for 1.27.5#13921

Merged
sean-mcmanus merged 2 commits intoinsidersfrom
main
Sep 10, 2025
Merged

Merge for 1.27.5#13921
sean-mcmanus merged 2 commits intoinsidersfrom
main

Conversation

@sean-mcmanus
Copy link
Contributor

No description provided.

@sean-mcmanus sean-mcmanus requested a review from a team as a code owner September 10, 2025 19:05
@github-project-automation github-project-automation bot moved this to Pull Request in cpptools Sep 10, 2025
@sean-mcmanus sean-mcmanus merged commit 1e19dd9 into insiders Sep 10, 2025
7 checks passed
@github-project-automation github-project-automation bot moved this from Pull Request to Done in cpptools Sep 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants