On 12/31/2016 02:08 PM, Vincent Bernat wrote: > ❦ 31 décembre 2016 11:27 +0100, "Michael Kerrisk (man-pages)" <mtk.manpages@xxxxxxxxx> : > >>> The removed paragraph is identical to the one a few lines above. >> >> Gosh! The duplication was injected back in man-pages-1.34 (2000)! >> Back in man-pages-1.33, it was the second instance only that was >> present, so I'm inclined to remove the other instance (opposite >> of your patch). What do you think? > > I think both solutions are fine. Thanks. I just wanted to check if you had some particular reason for removing the second instance, rather than the first. I removed the first. 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
