I just pushed a somewhat more comprehensive fix to my gitk.git repo on
master.kernel.org. (Actually I had checked it in some time ago
locally but forgot to do the push, sorry.)
Regards,
Paul.
-
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