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 6ecb0058a88a9135b6cc58903328fc81b51895de (commit) from dc95d3d9d4df759456623b41e76dd25841add798 (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 6ecb0058a88a9135b6cc58903328fc81b51895de Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Wed Aug 11 18:50:22 2021 +0200 Document the harmless random seed reading error ----------------------------------------------------------------------- Summary of changes: news/2002-02-18.mdwn => faq/random_seed_file.mdwn | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) copy news/2002-02-18.mdwn => faq/random_seed_file.mdwn (57%) hooks/post-receive -- Web pages