[SCM] GNU Mach branch, master-x86_64, updated. v1.8-181-g3f81a11

[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-x86_64 has been updated
       via  3f81a1163c40c12ca1dcf75c93b76ba8e81054bd (commit)
      from  625951c96d3df81bf9aaa7fe232acf6dc32abca6 (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 3f81a1163c40c12ca1dcf75c93b76ba8e81054bd
Author: Etienne Brateau <address@hidden>
Date:   Thu Mar 19 20:46:31 2020 +0100

    Update xen.c for x64

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

Summary of changes:
 x86_64/xen.c | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
GNU Mach