On 18.12.20 05:37, Paul Wise wrote:
On Thu, 2020-12-17 at 21:18 +0100, Paul Gevers wrote:
Sub-optimal, but upstream decided to close the Debian bugs that I
forwarded. I don't think it makes sense to keep them open in the BTS
any longer.
Fair enough, I'll file new issues upstream if I see crashes again.
@Paul Gevers: if it helps your workflow, feel free to re-open the
tickets upstream.
The thing about crash ticket is that they are sometimes caused by used
libraries
and are race-prone and hard to reproduce and just get stale and clog up
the ticket
tracker. As a Debian maintainer you know it probably well :-)
Happy holidays!
Cheers,
Lars