Skip to content

Minor improvements#12

Open
0x5ECF4ULT wants to merge 11 commits intoBRZ-GmbH:mainfrom
0x5ECF4ULT:main
Open

Minor improvements#12
0x5ECF4ULT wants to merge 11 commits intoBRZ-GmbH:mainfrom
0x5ECF4ULT:main

Conversation

@0x5ECF4ULT
Copy link
Copy Markdown

@0x5ECF4ULT 0x5ECF4ULT commented Aug 16, 2021

I started a fork about a week ago and made minor improvements. Most notably:

Please consider merging so that these issues and PRs can be closed after 1 month.

@0x5ECF4ULT
Copy link
Copy Markdown
Author

Small sidenote: something got messed up after I tried to merge your recent changes (see df5f711).

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