Skip to content

Backport fixes from PR #423, #425, and #428#429

Merged
lohedges merged 3 commits intomainfrom
backport_423_425_428
Jul 23, 2025
Merged

Backport fixes from PR #423, #425, and #428#429
lohedges merged 3 commits intomainfrom
backport_423_425_428

Conversation

@lohedges
Copy link
Contributor

This PR backports the fixes from PR #423, #425, and #428 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/n]
  • I confirm that I have permission to release this code under the GPL3 license: [y/n]

@lohedges lohedges added bug Something isn't working recursion Related to work with Recursion cresset Related to work with Cresset labels Jul 23, 2025
@lohedges lohedges merged commit 628d9cc into main Jul 23, 2025
@lohedges lohedges deleted the backport_423_425_428 branch July 23, 2025 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working cresset Related to work with Cresset recursion Related to work with Recursion

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant