Quoting Davide Viti (firstname.lastname@example.org): > > Certainly worth reporting upstream. Davide? > > Is this a duplicate of #618310 ? Might be. When seeing this this morning, I was vaguely remembering something, but being offline, I couldn't easily check (I could have digged into my mailboxes but I was lazy...:-)). I can't check now either as I'm offline again, but, of course, if this is a duplicate, it should be merged, then.
Description: Digital signature