Ramkumar Ramachandra <artagnon@xxxxxxxxx> wrote: > I didn't see this patch on the list- did Jan send it to the list? > Yeah, the wording here is nicer, except you might also want to include > an explicit note on using "$cmdline --skip". Yes, I did, but apparently something I changed in my mail setup a while ago caused the list server to silently drop mails sent to the list. I think I've fixed it now. Sorry for the confusion. -Jan -- 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