> Unfortunately you sent your message not just as plain text [1] and the > Google Mail mailer automatically wrapped the lines and there mangled the > patch. Oops, sorry about that. New patches incoming via git-send-email. No changes other than the unwanted line-wrapping is hopefully avoided. Steven Fuerst