Hi, On Wed, 17 Feb 2010, Jakub Narebski wrote: > [jn: cherry picked from bc1ed6aafd9ee4937559535c66c8bddf1864bec6 > in http://repo.or.cz/w/git/dscho.git, with a few changes] Thanks. These changes are greatly appreciated, and I will try to find the time to install this in our production system tomorrow. Ciao, Dscho -- 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