I do agree with Paolo the ticket should stay open.
Because the only way fix the issue right now is to disable security
updates: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019238#10

Reply via email to