On 18/05/13 18:44, Michael Kerrisk wrote: [.]
Thanks for the heads up, Jon. These *should* be linked, but a recent change in my scripts broke things. The scripts and site are fixed now.
Fantastic. Many thanks 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
