Frank Küster <[EMAIL PROTECTED]> writes: > Jérôme Marant <[EMAIL PROTECTED]> wrote: > >> Hi Frank, >> >> Shall we consider #165814 > > I'm not the submitter, but I'd say: yes. > >> (and maybe #150374 > > that one too
OK. Thanks. >> and #284216) as closed? > > IIRC this one was "introduced" by the fix to #165814; I have no idea > whether it is fixed. Nikolaus, do you still encounter it? Hmm, I wonder if #284216 is related to this bug http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=295597 -- Jérôme Marant

