Skip to content

Backport fix from PR #450#451

Merged
lohedges merged 1 commit intomainfrom
backport_450
Sep 23, 2025
Merged

Backport fix from PR #450#451
lohedges merged 1 commit intomainfrom
backport_450

Conversation

@lohedges
Copy link
Copy Markdown
Contributor

This PR backports the fix from #450 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 permission to release this code under the GPL3 license: [y]

@lohedges lohedges merged commit 03c5072 into main Sep 23, 2025
@lohedges lohedges deleted the backport_450 branch September 23, 2025 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