Skip to content

Merge release/3.1.0 back into develop - #894

Merged
GaryJones merged 1 commit into
developfrom
release/3.1.0
Jul 27, 2026
Merged

Merge release/3.1.0 back into develop#894
GaryJones merged 1 commit into
developfrom
release/3.1.0

Conversation

@GaryJones

Copy link
Copy Markdown
Contributor

Back-merges the 3.1.0 release branch into develop so the release changelog is present on the development line, per the release process in CONTRIBUTING.md.

The only change relative to develop is the CHANGELOG.md entry for 3.1.0 (the dependency bump in #892 is already on develop).

Assemble the 3.1.0 entry from all PRs merged since 3.0.1, following the
project convention of compiling the changelog in one place at release
time rather than per-PR.
@GaryJones
GaryJones requested a review from a team as a code owner July 27, 2026 14:39
@GaryJones
GaryJones merged commit eedb4cb into develop Jul 27, 2026
20 checks passed
@GaryJones
GaryJones deleted the release/3.1.0 branch July 27, 2026 14:39
@GaryJones GaryJones added this to the 3.1.0 milestone Jul 27, 2026
@GaryJones
GaryJones restored the release/3.1.0 branch July 27, 2026 14:40
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