On 01.10.2013 09:57, Boris Fiuczynski wrote:
Michal,
I am sorry about that. Had some trouble sending the patch.
Do you want me to resend it with a none-mangling email client?
No, the patch is already pushed. But just for the future: you can use
'git send-email' to send not mangled patches.
Michal