Skip to content

Conversation

Emirlol
Copy link
Contributor

@Emirlol Emirlol commented Jul 3, 2025

Check #130 for the details.

@Emirlol
Copy link
Contributor Author

Emirlol commented Jul 3, 2025

I forgot to reopen the PR, so this has been sitting as a dead PR for a while. There have been some commits to main since then, so I've tested it again after rebasing onto main and everything still seems to be working fine.

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