Skip to content

Conversation

@james-d-mitchell
Copy link
Member

No description provided.

@james-d-mitchell james-d-mitchell added the release candidate Label for PRs for release candidates label Jan 18, 2026
@james-d-mitchell james-d-mitchell merged commit 54ea79d into main Jan 18, 2026
39 checks passed
@james-d-mitchell james-d-mitchell deleted the rc-v1.3.0 branch January 18, 2026 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release candidate Label for PRs for release candidates

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants