On Mon, Oct 03, 2011 at 06:22:47PM +0200, Stephen Warren wrote: > Peter De Schrijver wrote at Monday, October 03, 2011 7:14 AM: > > Ignore this one. > > I assume only ignore this copy of the patch because it's a duplicate; > the patch itself is still needed, right? Yes. Cheers, Peter.