Closed SaltyJoke closed 5 years ago
Before resolving this issue, delete pull request issue-63. That was a git mistake I made
Is "Push issue-63 (actually issue-88)" supposed to be deleted or merged?
This was fixed by PR #89.
Before resolving this issue, delete pull request issue-63. That was a git mistake I made