Hi Kees, On 13 November 2017 at 23:44, Kees Cook <keescook@xxxxxxxxxxxx> wrote: [...] > Agreed, this looks good. Thanks for clarifying it. :) > > -Kees Thanks for checking it. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- To unsubscribe from this list: send the line "unsubscribe linux-api" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html