Closed DavidGZ closed 5 years ago
Looks like a duplicate of the other commit?
No, it shouldn't be but the other commit and other stuff slipped in this pull-request. Let me remake it. I don't get used to the pull-request system, it makes me loose more time that the old patch system.
I think now is OK. Thanks for merging!
Yes, that happens when the master branch of your fork was not up-to-date. But the actual commit with the typo has been merged already by the other PR.
Thorsten, the commit that was originally in this pull-request is not merged yet.
Hm. I can neither reopen nor merge the commit. Is the commit still in your repo? I see that you force-pushed something. Maybe creating a new branch, and just cherry-picking that commit works.
Ah lol you already did that.
…calls