Skip to content

Conversation

@josephperrott
Copy link
Member

No description provided.

@josephperrott josephperrott added the action: merge The PR is ready for merge by the caretaker label Dec 10, 2025
@josephperrott josephperrott merged commit d3574e1 into angular:main Dec 10, 2025
9 checks passed
@josephperrott
Copy link
Member Author

This PR was merged into the repository. The changes were merged into the following branches:

@josephperrott josephperrott deleted the no-silent branch December 10, 2025 20:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

action: merge The PR is ready for merge by the caretaker

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants