Skip to content

Conversation

@gades
Copy link

@gades gades commented Mar 13, 2024

@xtruan
Copy link
Owner

xtruan commented Mar 14, 2024

Thanks for your PR! I'll review it soon and merge it in. Don't worry about the failed checks, I think my CI is borked.

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