[SCM] GNU Mach branch, master, updated. v1.4-432-g5e53368

[Justus Winter]

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 <address@hidden>
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