On Jul 18 17:24, Christian Franke wrote: > Corinna Vinschen wrote: > > On Jul 16 11:38, Christian Franke wrote: > > > Another un?documented Windows behavior -- occasionally useful in this case > > > :) > > Ok. Maybe as a <note>? > > > > I'm not sure because unlike the other note nearby it is not a cautionary > note. Alternative patch attached. Please vote :)
Yeah, on second thought... please push your original patch. Thanks, Corinna
