Skip to content

Conversation

@alajovic
Copy link
Contributor

@alajovic alajovic commented Jul 2, 2025

This fixes #109.

@klauer
Copy link
Owner

klauer commented Jul 10, 2025

Thanks so much @alajovic! Sorry for the late reply on this.

I had to do some CI fixes, so I'll add your provided test to the test suite and merge with master before approving/bringing this in.

@klauer klauer merged commit ee8df5f into klauer:master Jul 10, 2025
2 of 19 checks passed
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.

End positions of comments and pragmas are off by one

2 participants