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 4dc14894dec4aa5cc7140b1b5abd3c5ec1330757 (commit)
from 803505c39675693e370b56dc8b90610ed551f335 (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 4dc14894dec4aa5cc7140b1b5abd3c5ec1330757
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Wed Aug 20 00:28:05 2025 +0200
pseudo-root is already set up nowadays
-----------------------------------------------------------------------
Summary of changes:
hurd/subhurd.mdwn | 1 -
1 file changed, 1 deletion(-)
hooks/post-receive
--
Web pages
