Comment 16 for bug 1893563

Right, my apologies, I was too quick to be angry: I only checked the patch proposed here but not the actual one committed — and apparently I haven’t read the discussion to the end.

Having checked the actual package, I see it is in fact a patch from the upstream Git.

Still, it’d be great if you could at least notify me, and it would be much better if we could first push such changes into Debian first.