forcemerge 618310 647444 thanks Quoting Christian PERRIER (email@example.com): > 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. It is a duplicate, yes.
Description: Digital signature