On Thu, May 24, 2012 at 8:17 AM, Jon Seymour <jon.seymour@xxxxxxxxx> wrote: > On Thu, May 24, 2012 at 7:50 AM, Jens Lehmann <Jens.Lehmann@xxxxxx> wrote: >> Am 23.05.2012 18:45, schrieb Jon Seymour: >> Wouldn't that better be handled in the ".*/*)" case above to avoid >> accidentally affecting the other cases? > > Yes, I think you are right. Thanks. > Turns out this case was necessary, but I don't fully understand why as yet. I'll work that out and see if I can avoid doing it, otherwise I will document why it is reasonable. jon. -- 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