Closed hamogu closed 5 years ago
@augustfly This PR has not gotten a review in about 2 years. I just rebased on solved some merge conflicts. If you are not interested in PRs of this sort, just close it or let me know and I promise not to open anything again.
Looks fine to me, thanks Moritz!
@augustfly This PR has not gotten a review in about 2 years. I just rebased on solved some merge conflicts. If you are not interested in PRs of this sort, just close it or let me know and I promise not to open anything again.