[SCM] Web pages branch, master, updated. 38355f0d95baf159926ca30f377cd86ed8636838

[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  38355f0d95baf159926ca30f377cd86ed8636838 (commit)
      from  b100db2dc58e12af2ceba562869abb10de8ab309 (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 38355f0d95baf159926ca30f377cd86ed8636838
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Tue Feb 9 09:58:03 2021 +0100

    Note that one has to produce a 32bit mig

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

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


hooks/post-receive
-- 
Web pages