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 528135cb68242c9608fe02915590f491e94a0747 (commit)
from 34e57087c4e6bd1ca1785e09c54782c72e1faef4 (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 528135cb68242c9608fe02915590f491e94a0747
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Wed Nov 13 17:16:16 2019 +0100
Note about pthread_setschedparam and thread_priority too
-----------------------------------------------------------------------
Summary of changes:
contributing.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
Web pages
