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 d12207fb5a8cef131f262878f98da923af1f8fea (commit) via 1a9af211b3f0fb93611e6795ce66576b2ab230c8 (commit) from b28e05e203e0739fa5db59c5af378b29eea7a232 (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 d12207fb5a8cef131f262878f98da923af1f8fea Author: Justus Winter <4win...@informatik.uni-hamburg.de> Date: Wed Apr 30 13:02:29 2014 +0200 Install the mach_debug header files The task_set_name RPC introduced in 877a319c changed include/mach/gnumach.defs to include mach_debug/mach_debug_types.defs. Previously though, the debug headers were not installed. * Makefrag.am: Install the mach_debug header files. commit 1a9af211b3f0fb93611e6795ce66576b2ab230c8 Author: Justus Winter <4win...@informatik.uni-hamburg.de> Date: Wed Apr 30 12:31:09 2014 +0200 doc: fix the number of priorities The number of priorities has been changed from 32 to 50 in 6a234201081156e6d5742e7eeabb68418b518fad. * doc/mach.texi: Update accordingly. ----------------------------------------------------------------------- Summary of changes: Makefrag.am | 15 ++++++++++++--- doc/mach.texi | 6 +++--- 2 files changed, 15 insertions(+), 6 deletions(-) hooks/post-receive -- GNU Mach