Commit 1793603398ab356d73898d75d5669e2378179170

Paul Eggert 2021-12-28T11:38:32

clock_gettime: improve doc