Junio, As far as I can see, you had the good sense of not applying this one. It is bad, and should be dropped. cheers, martin - : 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