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 270026f9029ad3f2d06299947ae9e7bae42217d3 (commit)
from 9b6a1b003c56da3ef309316e7be80a6b449af3ab (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 270026f9029ad3f2d06299947ae9e7bae42217d3
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Sun Nov 3 16:00:10 2019 +0100
TODO: sched_setscheduler
-----------------------------------------------------------------------
Summary of changes:
contributing.mdwn | 1 +
1 file changed, 1 insertion(+)
hooks/post-receive
--
Web pages
