On Thu, Aug 04, 2016 at 08:17:29AM +1000, Michael Kerrisk (man-pages) wrote: > Hello Quentin > > For some reasons, all of your earlier mails got marked as spam by > gmail, and so I did not see them. However, Mike's reply came through > okay, and so I saw this at last. No problem, indeed that happens! > Thanks for catching this. I've applied your patch. Thanks to you! -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
