[SCM] Web pages branch, master, updated. 748769b223416d8643365164019d2565f4943b6c

[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  748769b223416d8643365164019d2565f4943b6c (commit)
      from  8f5bb209f3fa58895cd0aca263335cf397cc9290 (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 748769b223416d8643365164019d2565f4943b6c
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Fri Feb 2 11:09:27 2024 +0100

    Better properly name the cross-built mig

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

Summary of changes:
 microkernel/mach/mig/gnu_mig/building.mdwn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
Web pages