Derek Buitenhuis <derek.buitenhuis <at> gmail.com> writes: > On 27/12/2011 10:39 PM, Derek Buitenhuis wrote: > > > > This indeed does seem to fix the problem, and looks pretty OK to me. > LGTM, if applied along with your other patch. Patch applied. Thank you, Carl Eugen