[SCM] GNU Mach branch, master, updated. v1.8-350-g6951d552

[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  6951d552749fe24d0c9514ac6efec2c09e567b8d (commit)
      from  350b44884df373f3d6f208e0d54fb68384757440 (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 6951d552749fe24d0c9514ac6efec2c09e567b8d
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Fri Feb 18 02:03:00 2022 +0100

    device_map_page: update prototype

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

Summary of changes:
 device/dev_pager.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
GNU Mach