Johannes Schindelin <johannes.schinde...@gmx.de> 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 majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
