Skip to content

Merge v2.13 to main - #1126

Merged
AArnott merged 3 commits into
mainfrom
v2.13-to-main
Jul 27, 2026
Merged

Merge v2.13 to main#1126
AArnott merged 3 commits into
mainfrom
v2.13-to-main

Conversation

@AArnott

@AArnott AArnott commented Jul 27, 2026

Copy link
Copy Markdown
Collaborator

This brings it up to the latest 2.x branch.

@AArnott
AArnott enabled auto-merge July 27, 2026 13:31
@AArnott
AArnott added this pull request to the merge queue Jul 27, 2026
Merged via the queue into main with commit 6f39279 Jul 27, 2026
14 checks passed
@AArnott
AArnott deleted the v2.13-to-main branch July 27, 2026 13:43
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