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 d7474436a1cb926f1540081869932be0bf829499 (commit)
from 27e80746cd59c4c72f2d0fa6b0f295b1a535173c (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 d7474436a1cb926f1540081869932be0bf829499
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Mon Dec 9 23:11:21 2019 +0100
TODO: Make `host_get_time` much more precise by using the TSC.
-----------------------------------------------------------------------
Summary of changes:
contributing.mdwn | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
hooks/post-receive
--
Web pages
