On Wed, 27 May 2020 06:48:28 +0200 (CEST), Johannes Schindelin wrote: > There is not really any centralized way to keep track of open bugs. > > And yes, sometimes they get lost after a few days. > > In your case, however, there is now > https://lore.kernel.org/git/pull.646.git.1590613746507.gitgitgadget@xxxxxxxxx/T/#u > which is better than just a ticket: it is already a patch. Wow, that was fast! Thanks a lot! -- Merlin Büge