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

[Richard Cochran]

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