Skip to content

Conversation

@lohedges
Copy link
Contributor

This PR backports the fix from #482 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 cresset Related to work with Cresset label Nov 28, 2025
@lohedges lohedges merged commit 2890466 into main Nov 28, 2025
@lohedges lohedges deleted the backport_482 branch November 28, 2025 12:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cresset Related to work with Cresset

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants