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 <flavioc...@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: <y8myzekqwn43n...@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