Re: [PATCH] [man-pages] adjtimex.2: document clock_adjtime

From: Richard Cochran
Date: Tue Dec 19 2017 - 11:58:21 EST

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...