Skip to content

Conversation

@kurkle
Copy link

@kurkle kurkle commented Nov 28, 2024

Quickly drafted in github editor, no idea if this actually works :)

@jesseday
Copy link

jesseday commented Jan 2, 2025

Good idea. I've created a tested version of this PR in #394

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