[SCM] Web pages branch, master, updated. d99e5b3af68d55bbd1622949ef5f93b250ebd6a9

[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  d99e5b3af68d55bbd1622949ef5f93b250ebd6a9 (commit)
      from  9c714507da9ea3a648b16de01485ee8df147c488 (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 d99e5b3af68d55bbd1622949ef5f93b250ebd6a9
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Tue Dec 5 19:48:59 2023 +0100

    Fix target for mig cross-builds

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

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


hooks/post-receive
-- 
Web pages