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 5ed9dc63c178bdcd397ef1568979e83a611508bc (commit) via a3cb5464c76a562f787edc14e6cbefbf2b00b2c0 (commit) from 22bac928b3c831582d1f546786c75bcb58e5647a (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 5ed9dc63c178bdcd397ef1568979e83a611508bc Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Mon Aug 4 22:16:48 2025 +0200 details commit a3cb5464c76a562f787edc14e6cbefbf2b00b2c0 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Mon Aug 4 22:10:36 2025 +0200 typo ----------------------------------------------------------------------- Summary of changes: faq/dev-rebuild.mdwn | 2 +- faq/other_repositories.mdwn | 4 +--- faq/software.mdwn | 2 +- 3 files changed, 3 insertions(+), 5 deletions(-) hooks/post-receive -- Web pages