Thanks. That has been longstanding, and I hinted how that can be fixed a couple of times on the list, and was waiting for somebody for whom fixing it would make a difference to fix it, while sort of pretending to be lazy. Happy to see finally somebody stepped forward ;-). - 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
