On Tue, Feb 18, 2014 at 10:35 AM, D. Barbier <bouzim@xxxxxxxxx> wrote: > On 2014-02-18 9:54 GMT+01:00 Michael Kerrisk (man-pages) wrote: > [...] >> And, just to confirm: does what is now pushed to git look correct? > > Hello, > > Looks good to me, thanks. Thanks, Denis. 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-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html