On 04/09/13 07:11, Michael Kerrisk (man-pages) wrote:
Hi Jon, On 09/03/13 19:32, Jon Grant wrote:Hello
[...]
By chance, someone else recently reported this (offlist), and I made a change (commit 558f02dff03b5835d9f83f20b2056f38c6238a36).
Good stuff! Jon -- 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
