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 40e985ddcd987968150d3c3b66fa2febdf4f5d97 (commit) from 8f5b486a1e332b0eee1d66d5475f290f9a42e17f (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 40e985ddcd987968150d3c3b66fa2febdf4f5d97 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Tue Jul 1 21:50:05 2025 +0200 Quote standard for FOO_MAX being optional ----------------------------------------------------------------------- Summary of changes: faq/foo_max.mdwn | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) hooks/post-receive -- Web pages