Skip to content

Merge main into develop after the 0.11.1 release - #1041

Merged
GaryJones merged 4 commits into
developfrom
main
Aug 18, 2026
Merged

Merge main into develop after the 0.11.1 release#1041
GaryJones merged 4 commits into
developfrom
main

Conversation

@GaryJones

Copy link
Copy Markdown
Contributor

Summary

Routine post-release sync. Now that 0.11.1 has merged to main (#1040) and the signed 0.11.1 tag has been pushed, main carries three commits that develop does not: the changelog entry, the regenerated POT, and the version bumps. This PR merges main back into develop so the two branches match and develop reflects the shipped 0.11.1 state, as required by step 9 of RELEASE_PROCESS.md.

There is nothing new to review here: develop is a direct ancestor of main, so this is a clean fast-forward, and every commit was already reviewed on its way in (the release chore via #1040, and the functional work in the PRs it batched). The PR exists only because develop requires changes to arrive through one.

@GaryJones
GaryJones requested a review from a team as a code owner August 18, 2026 22:33
@GaryJones GaryJones self-assigned this Aug 18, 2026
@GaryJones
GaryJones merged commit 3c1680b into develop Aug 18, 2026
21 checks passed
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