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

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