>> The logic described in d020e27 (diff: Fix rename pretty-print when >> suffix and prefix overlap, 2013-02-23) is wrong: The proof in the >> comment is valid only if both strings are the same length. *One* of >> old/new can reach a-1 (b-1, resp.) if 'a' is a suffix of 'b' (or vice >> versa). Indeed, sorry about that. I guess I was too focused on my specific issue and didn't broaden my thoughts. > Thanks. I was also having hard time convincing myself why that -1 > does not under-run yesterday. > > Will queue. Thanks -- 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