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? -- nvpublic