[SCM] GNU Mach branch, master, updated. v1.8-492-g4a1be513

[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  4a1be513c08971b69d80f00478ade68cb25e7d3b (commit)
      from  c7a84af651ae5cf2588c4a057564f9c2189846ef (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 4a1be513c08971b69d80f00478ade68cb25e7d3b
Author: Flavio Cruz <flaviocruz@gmail.com>
Date:   Thu Jan 19 14:22:12 2023 -0500

    Include mig generated device headers to avoid missing prototypes
    
    Some of the existing definitions lacked the const qualifier, which was
    added.
    Message-Id: <Y8mYZEKqWN43n2SA@mercury.tail36e24.ts.net>

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

Summary of changes:
 device/dev_hdr.h     |  4 ++--
 device/dev_lookup.c  |  2 +-
 device/dev_name.c    |  4 ++--
 device/dev_pager.c   |  1 +
 device/device_emul.h |  4 ++--
 device/ds_routines.c | 13 +++++++------
 6 files changed, 15 insertions(+), 13 deletions(-)


hooks/post-receive
-- 
GNU Mach