Jakub Narebski <jnareb@xxxxxxxxx> writes: > More seriously, it could be made default if it is not too annoying. But the problem is that it _does_ sound annoying... -Miles -- Politeness, n. The most acceptable hypocrisy. -- 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