Regards,

P.S.
Is simple diffs an acceptable format for patches or should I send you an
fully formatted git commit ?