Johannes Schindelin <johannes.schindelin@xxxxxx> writes: >>> Done: https://github.com/git/git.github.io/pull/12 >> >> Thanks, merged. > > I opened another PR, based on Mathieu's advice. Thanks, merged. -- Matthieu Moy http://www-verimag.imag.fr/~moy/ -- 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