I think a better approach would be to try to match the name to what we
have in the index. Then we could implement case-insensitivity and MacOSX
workaround at the same time.
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