Oops. My fingers are faster than my brain, and that email got sent out half-completed and without the final editing. But it wasn't reallymissing anything else than editing away the parts of the original I didn't respond to, and my normal sign-off. So I'll just sign this one off twice, instead.. Linus Linus - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html