Skip to content

Backport fix from PR #454#455

Merged
lohedges merged 1 commit intomainfrom
backport_454
Sep 30, 2025
Merged

Backport fix from PR #454#455
lohedges merged 1 commit intomainfrom
backport_454

Conversation

@lohedges
Copy link
Copy Markdown
Contributor

This PR backports the fix from #454 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 added the bug Something isn't working label Sep 30, 2025
@lohedges lohedges merged commit 0cbc8cc into main Sep 30, 2025
@lohedges lohedges deleted the backport_454 branch September 30, 2025 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant