[SCM] GNU Mach branch, master, updated. v1.8-616-g13e393e8

[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  13e393e8d43c3509956ffee5cf27fc2311b649fd (commit)
      from  b1cddee81d48a7fe2350d334aa756999fd265920 (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 13e393e8d43c3509956ffee5cf27fc2311b649fd
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Tue Apr 11 09:33:45 2023 +0200

    Fix Xen build

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

Summary of changes:
 i386/i386/xen.h         | 42 +++++++++++++++++++++---------------------
 i386/i386at/model_dep.c |  2 ++
 i386/intel/pmap.c       | 18 +++++++++---------
 3 files changed, 32 insertions(+), 30 deletions(-)


hooks/post-receive
-- 
GNU Mach