Skip to content

Conversation

@ahartmetz
Copy link
Collaborator

Re-creating #1487 without the merge commit spam and with me as the owner

@ahartmetz
Copy link
Collaborator Author

ahartmetz commented Jan 11, 2026

From original merge request:

TODO

  • verify correctness
  • real test run

Well, the tests now run automatically, but there is no specific test for the new feature

@ahartmetz ahartmetz marked this pull request as draft January 11, 2026 16:11
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