Luke, Am 17.07.20 um 17:55 schrieb Luke Seelenbinder: > To follow up on this—is it easier if I create this as a GitHub issue? >
It will certainly not get lost in the depths of the email archive and it allows to easily link commits to issues and issues to commits just by mentioning the number in the message. Personally I create issues for everything, even if I fix them myself a few minutes later. In case my patch isn't correct at least the issue will still remain in the tracker. Best regards Tim Düsterhus
