Elia Pinto <gitter.spiros@xxxxxxxxx> writes: > git-gui/po/glossary/txt-to-pot.sh | 4 ++-- git-gui is a separate project, patches are normally applied to git-gui first, and then pulled by Junio. I'd suggest dropping this patch, it's probably not worth the trouble (although the patch is correct). -- 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