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 7a87480524cec3e3386baaa0cf8e12b39e91428e (commit) via ca07d2f120bd88ac9a8a9e7ac6f79f26f282c7b3 (commit) from 8d327ced8c2e539a0e845f522f56a84f6474f5ca (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 7a87480524cec3e3386baaa0cf8e12b39e91428e Author: Justus Winter <jus...@gnupg.org> Date: Wed Oct 12 16:55:37 2016 +0200 Make task notification ports mutable. * include/mach/task_notify.defs (task_notify_port_t): New type. (mach_notify_new_task): Use the specialized type. commit ca07d2f120bd88ac9a8a9e7ac6f79f26f282c7b3 Author: Justus Winter <jus...@gnupg.org> Date: Wed Oct 12 10:57:12 2016 +0200 linux: Remove incompatible local prototype. * linux/dev/glue/kmem.c (vremap): Remove prototype, include the right header instead. ----------------------------------------------------------------------- Summary of changes: include/mach/task_notify.defs | 22 +++++++++++++++++++++- linux/dev/glue/kmem.c | 7 +++---- 2 files changed, 24 insertions(+), 5 deletions(-) hooks/post-receive -- GNU Mach