Skip to content

Conversation

@Levaru
Copy link

@Levaru Levaru commented Sep 28, 2021

As recommended by @gavanderhoorn in this issue, I created a pull request with my changes. To make the diffs more easy to read, I just changed the files directly instead of creating a separate folder for the port. If someone wants to actually merge this in the future, a separate folder would be a good idea, I think.

@simonschmeisser simonschmeisser marked this pull request as draft September 28, 2021 15:54
@Levaru Levaru marked this pull request as ready for review October 5, 2021 09:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant