Skip to content

docs(changelog): finalize v3.13.0 release notes#74

Merged
vnykmshr merged 1 commit into
mainfrom
chore/v3.13.0-release-notes
May 17, 2026
Merged

docs(changelog): finalize v3.13.0 release notes#74
vnykmshr merged 1 commit into
mainfrom
chore/v3.13.0-release-notes

Conversation

@vnykmshr
Copy link
Copy Markdown
Collaborator

Date-stamp the v3.13.0 entry in preparation for tagging. Mirrors v3.11.0/v3.12.0 release pattern.

@vnykmshr vnykmshr enabled auto-merge May 17, 2026 16:14
@vnykmshr vnykmshr merged commit c04b4f1 into main May 17, 2026
6 checks passed
@vnykmshr vnykmshr deleted the chore/v3.13.0-release-notes branch May 17, 2026 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant