On Wed, 2016-11-23 at 15:20 +0100, Michael Kerrisk (man-pages) wrote: > Thanks for the confirmation. Are you aiming to see the fix > merged for 4.9, or will this wait for 4.10? Dunno, that's up to Peter/Ingo. It's unlikely that anyone other than we two will notice a thing either way :) -Mike -- 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
