On Thu, Feb 07, 2008 at 12:21:36AM -0800, Junio C Hamano <gitster@pobox.com> wrote:
If that can be unmangled, what would be the purpose of mangling in the first
place ? If the mangling is any useful, it can't be unmangled. If it can, it
should just be removed.
Mike
-
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