Skip to content

Conversation

@ihoru
Copy link

@ihoru ihoru commented May 10, 2023

No description provided.

@EliahKagan
Copy link

It seems this same change has been made by merging #527.

@ihoru
Copy link
Author

ihoru commented Jul 12, 2023

I was the first one 🤷‍♂️ 🤣

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