Skip to content

Conversation

eumiro
Copy link
Contributor

@eumiro eumiro commented Jul 10, 2023

No description provided.

@metaodi metaodi merged commit e4f3a75 into metaodi:develop Jul 15, 2023
@metaodi
Copy link
Owner

metaodi commented Jul 15, 2023

Thanks @eumiro for this PR!

@eumiro eumiro deleted the modernize branch July 15, 2023 14:17
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