[SCM] GNU Mach branch, master, updated. v1.8-715-g952872cb

[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 "GNU Mach".

The branch, master has been updated
       via  952872cb67bd811991dd558dd4e5d28e7d16b21b (commit)
      from  bf8632fdb76fef70c830082a8e5c059c1d0aeb7c (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 952872cb67bd811991dd558dd4e5d28e7d16b21b
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Aug 14 02:09:07 2023 +0200

    pmap: Fix x32 PAE builds

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

Summary of changes:
 i386/intel/pmap.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
GNU Mach