Skip to content

Conversation

@nariox
Copy link

@nariox nariox commented Sep 7, 2023

I have interest in having these merged. I have tried to clone augustozanellato's branch, but it seems to be deleted (or made private). So I have cloned master from here and applied the same patches. I am not sure what is the correct etiquette in this case, but could we have this merged?

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