Skip to content

Conversation

@janvv
Copy link
Contributor

@janvv janvv commented Oct 9, 2025

Closes #43

@janvv janvv marked this pull request as ready for review October 9, 2025 12:31
@janvv
Copy link
Contributor Author

janvv commented Oct 13, 2025

@ehennestad Anything blocking a merge?

@ehennestad ehennestad merged commit 16bff3f into ehennestad:main Oct 13, 2025
2 checks passed
@ehennestad
Copy link
Owner

No! Thanks for fixing this and thanks for the reminder!

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.

Allow html and XML output

2 participants