Simon, thanks for the patches in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=915955#27
I seem to have dropped the ball and not noticed that message. I will review them and either apply them, or fix the problem some other way. Probably this weekend, and, in any case, soon. Ian. -- Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own. Pronouns: they/he. If I emailed you from @fyvzl.net or @evade.org.uk, that is a private address which bypasses my fierce spamfilter.