Skip to content

Conversation

@ludat
Copy link
Owner

@ludat ludat commented Jan 31, 2026

Description

Please include a summary of the change and which issue is fixed.

Fixes #(issue)

Checklist:

  • I have added tests that prove my fix is effective or that my feature works
  • I have added changes to the relevant changelog
  • I have made corresponding changes to the documentation
  • I have added haddock comments for every new function and data

@ludat ludat merged commit 806ce3f into master Jan 31, 2026
30 checks passed
@ludat ludat deleted the refactor2 branch January 31, 2026 07:22
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.

2 participants