This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Web pages".

The branch, master has been updated
       via  4f8b7ec44c90a7f64ede667d1eb3b75c10dbac51 (commit)
      from  dfbd658b6f34ee0e00f27ebda6d3f201b1a02677 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 4f8b7ec44c90a7f64ede667d1eb3b75c10dbac51
Author: Samuel Thibault <[email protected]>
Date:   Wed Jan 1 22:42:26 2025 +0100

    No, gettimeofday can't use CLOCK_MONOTONIC, it's really supposed to be the 
wallclock time, subject to jumps

-----------------------------------------------------------------------

Summary of changes:
 open_issues/clock_gettime.mdwn | 3 ---
 1 file changed, 3 deletions(-)


hooks/post-receive
-- 
Web pages

Reply via email to