On Thu, Aug 08, 2013 at 06:44:22PM +0100, Ramsay Jones wrote: > $path is part of the public API, so we can't just remove it. It would > require a deprecation period, etc,. (Adding/documenting $sm_path as an > alternative *may* be worth doing. dunno.) Maybe something for git 2.0? Well, Jens and Junio is the ones who can make sane decissions about this. I trust they make a good decision. The state as now is that this is a bug for case insesitive systems. -- Med vänliga hälsningar Fredrik Gustafsson tel: 0733-608274 e-post: iveqy@xxxxxxxxx -- 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