Skip to content

Conversation

@ansgarm
Copy link
Member

@ansgarm ansgarm commented Aug 19, 2025

Related to #1148

Once this PR is merged, we'll also manually update the Github Release with the amended changelog.

@ansgarm ansgarm marked this pull request as ready for review August 19, 2025 16:07
@ansgarm ansgarm requested a review from a team as a code owner August 19, 2025 16:07
@ansgarm ansgarm merged commit 734d43a into main Aug 20, 2025
2 checks passed
@ansgarm ansgarm deleted the amend-changelog-0.15.0 branch August 20, 2025 10:01
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Sep 19, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants