[SCM] GNU Mach branch, master-user_level_drivers, updated. v1.8-192-gb71710c

[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-user_level_drivers has been updated
       via  b71710cd519c7f9010b770af8bb3943010476476 (commit)
      from  640b447be65d4cbdafa3b7f9c4317fd8d9a6ae33 (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 b71710cd519c7f9010b770af8bb3943010476476
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Jul 5 16:12:09 2020 +0200

    Making vm_allocate_contiguous return a memory object is not really a 
priority

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

Summary of changes:
 include/mach/mach.defs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
GNU Mach