Skip to content

Backport fixes from PRs #400 and #403#404

Merged
lohedges merged 3 commits intomainfrom
backport_403
Jun 13, 2025
Merged

Backport fixes from PRs #400 and #403#404
lohedges merged 3 commits intomainfrom
backport_403

Conversation

@lohedges
Copy link
Copy Markdown
Contributor

This PR backports the fixes from #400 and #403 into main.

  • I confirm that I have merged the latest version of devel into this branch before issuing this pull request (e.g. by running git pull origin devel): [y]
  • I confirm that I have permission to release this code under the GPL3 license: [y]

@lohedges lohedges merged commit 138ff3a into main Jun 13, 2025
@lohedges lohedges deleted the backport_403 branch June 13, 2025 08:49
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