On 04/12/2018 02:20 PM, Mathieu Desnoyers wrote: > ----- On Apr 12, 2018, at 7:42 AM, Michael Kerrisk mtk.manpages@xxxxxxxxx wrote: > > Hi Michael, > > [...] >> >> I have applied the above patch, and done quite a bit of tweaking, and >> pushed the results to the git repo. >> >> I would be grateful if you would read the entire manual page as it >> currently stands, to see if anything needs improving. I isolated some >> of the more significant changes into a simple patch, shown below, and >> especially I'd like your confirmation that all of those changes are >> okay. > > Thanks for applying my membarrier man pages updates. I've reviewed the > result and it is all good. Thanks Mathieu! 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
