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 5e533682c0df29d28dc8250c57c2e33406a57835 (commit) from f1cdf417edeb9979a5f1f32c20d7ad75abc97a14 (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 5e533682c0df29d28dc8250c57c2e33406a57835 Author: Justus Winter <4win...@informatik.uni-hamburg.de> Date: Thu Apr 10 19:13:47 2014 +0200 include: fix the definition of device_open Previously, every userspace server implementing the device protocol filtered the device definitions to replace the device_t type with mach_port_send_t to make the device argument of device_open polymorphic. Rather than doing that, which makes it impossible to use translation functions, fix the definition of device_open. * include/device/device.defs (device_open): Redefine the device argument to make it polymorphic unless a outran function is specified. ----------------------------------------------------------------------- Summary of changes: include/device/device.defs | 11 ++++++++++- 1 files changed, 10 insertions(+), 1 deletions(-) hooks/post-receive -- GNU Mach