On Tue, Apr 02, 2019 at 12:33:10PM +0200, Thomas Goirand wrote: > On 4/1/19 11:44 PM, Moritz Mühlenhoff wrote: > > Instead of arguing over bug severities, can't we rather fix the bug? > > Sure. > > > Ubuntu fixed this already and their versions seems fairly close. > > That's the thing. I went into the launchpad bug report, and it's full of > small, incremental commits, from which it is very hard to figure out > which one is really fixing the issue. Also, the Ubuntu package is just > getting a snapshot from upstream, it's not integrating any patch. If > someone can point at the correct patch, I'll do the update work.
Actually, given Bastian's reply, we can just close the bug, or am I missing something? Cheers, Moritz