Skip to content

Conversation

@PedroG022
Copy link

Just some tweaks that could be improved.

@Zero3K
Copy link

Zero3K commented Aug 1, 2021

Thanks for these tweaks. I hope they get merged soon.

@yuanlk
Copy link

yuanlk commented Sep 17, 2021

Thanks!

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