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 ce00ef05659fb3720f8677739cf26bdcbdf63101 (commit) from 29bafed127ec278be5892ab79186d6db4604fceb (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 ce00ef05659fb3720f8677739cf26bdcbdf63101 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Sat Nov 30 11:19:28 2019 +0100 We are not handfuls ----------------------------------------------------------------------- Summary of changes: faq/how_many_developers.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) hooks/post-receive -- Web pages