Please see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=507476 Which it turns out didn't get forwarded to git@xxxxxxxxxxxxxxx after all. -- 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