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 03c4a1fd649a2e51f9322dd7bd4a9ff8a0529d05 (commit) from e57d5edf9060af16051a55c27d17145b007a3fe6 (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 03c4a1fd649a2e51f9322dd7bd4a9ff8a0529d05 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Sun Jul 20 02:00:15 2025 +0200 rumpusbdisk was integrated ----------------------------------------------------------------------- Summary of changes: contributing.mdwn | 1 - 1 file changed, 1 deletion(-) hooks/post-receive -- Web pages