>>>>> "Jerzy" == Jerzy Grzegorek <jerzy.grzegorek at trzebnica.net> writes: > Signed-off-by: Jerzy Grzegorek <jerzy.grzegorek at trzebnica.net> It no longer applied cleanly, but I've fixed that up and committed, thanks. -- Bye, Peter Korsgaard