Since gitk and git-gui are separate projects (pulled at irregular
intervals into git.git), your patch looks sane, but would be better done
as a patch against gitk.git.
Ciao,
Dscho
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html