For Windows leading // is special indicating a UNC path and should not be changed to /. //foo/bar is different from /foo/bar -- robin -- 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
