Closed jeremyfreudberg closed 7 years ago
Co-authored by Leo Tomatsu
Unfortunately Github makes it very hard to take over a pull request from someone else, especially when the fork/branch from original PR was deleted.
This preserves the commit history seen in #74, plus some changes from me.
Co-authored by Leo Tomatsu
Unfortunately Github makes it very hard to take over a pull request from someone else, especially when the fork/branch from original PR was deleted.
This preserves the commit history seen in #74, plus some changes from me.