Skip to content

Backport fix from PR #432#433

Merged
lohedges merged 1 commit intomainfrom
backport_432
Apr 20, 2026
Merged

Backport fix from PR #432#433
lohedges merged 1 commit intomainfrom
backport_432

Conversation

@lohedges
Copy link
Copy Markdown
Contributor

This PR backports the fix from #432 into main.

  • I confirm that I have merged the latest version of main into this branch before issuing this pull request (e.g. by running git pull origin main): [y]
  • I confirm that I have added a changelog entry to the changelog (we will add a link to this PR as part of the review): [y]
  • I confirm that I have permission to release this code under the GPL3 license: [y]

@lohedges lohedges merged commit 25dd9a5 into main Apr 20, 2026
@lohedges lohedges deleted the backport_432 branch April 20, 2026 08:25
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