Skip to content

Conversation

shiny
Copy link
Owner

@shiny shiny commented Jul 16, 2025

This PR cherry-picks from #12 by @AlphaRomeoMike

@shiny shiny merged commit 1093781 into v2 Jul 16, 2025
2 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.

1 participant