Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > In any case, I think this change (if it is really considered desirable) > could easily be an add-on patch by people who care about this ;-) Yup, in case if it was unclear, that is what I meant. -- 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