[SCM] Web pages branch, master, updated. 257b22c265dbcaa18535b83719d1fab8a0eb2afd

[Samuel Thibault]

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  257b22c265dbcaa18535b83719d1fab8a0eb2afd (commit)
      from  45c29e1104089fe61bc04d6fd68b4b415dfccfc3 (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 257b22c265dbcaa18535b83719d1fab8a0eb2afd
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Apr 7 00:52:25 2024 +0200

    Mention the onlyup build profile for gnumach

-----------------------------------------------------------------------

Summary of changes:
 microkernel/mach/gnumach/building.mdwn | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
Web pages