On Mon, Dec 18, 2017 at 08:19:42PM +0100, Michael Kerrisk (man-pages) wrote: > > Let me try to come up with a text over the (USA) holiday weekend. > > Might you have a chance to look at this still?
Sorry for forgetting this. I will have another chance over the upcoming international holiday... Thanks, Richard
