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