[SCM] MIG branch, master, updated. v1.8-43-ga6a6afc

[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 "MIG".

The branch, master has been updated
       via  a6a6afc285f8f4a1aadc8857ac980b62010ce004 (commit)
      from  c40604042bd6e9f80e4f5fe6bc9deefb29c4b94a (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 a6a6afc285f8f4a1aadc8857ac980b62010ce004
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Dec 3 02:05:57 2023 +0100

    Revert "x86_64: adapt MiG generated stubs to use mach_port_name_inlined_t 
for inlined port rights."
    
    This reverts commit c40604042bd6e9f80e4f5fe6bc9deefb29c4b94a.

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

Summary of changes:
 cpu.sym   |   1 -
 global.c  |   4 +-
 parser.y  |   4 ++
 routine.c |   6 ---
 server.c  | 155 +++++++++++++++-----------------------------------------------
 type.c    |  36 +++++----------
 type.h    |   5 --
 user.c    | 123 +++++++++++++------------------------------------
 utils.c   |  28 +++---------
 9 files changed, 91 insertions(+), 271 deletions(-)


hooks/post-receive
-- 
MIG