Gah, something went horribly wrong with git send-email. I'm sorry for the first 5 useless messages, apparently caused by left-over .gitsendemail.msg.* files. The patches itself however arrived as intended it looks like. Best regards.