Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> writes: > No more posts from me on this subthread, it's just not worth it. Indeed, after sending my reply I read the rest of the messages on the thread, and wished I hadn't replied at all. Oh well; "read the whole thread before replying" is a lesson that needs to be relearned occasionally I suppose... -Miles -- Is it true that nothing can be known? If so how do we know this? -Woody Allen -- 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