Skip to content

Conversation

@snoyberg
Copy link
Member

Opening up the same change as #9, but using an old commit for compatibility with an old version used by a private repo.

@snoyberg snoyberg requested a review from anakinzhed August 26, 2025 09:10
@anakinzhed
Copy link
Contributor

@snoyberg After updating the PR, there are no differences with main, so I’ll go ahead and close this one.

@anakinzhed anakinzhed closed this Aug 26, 2025
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.

3 participants