[SCM] GNU Mach branch, master, updated. v1.4-480-gad0681d

[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  ad0681db8840484c0a18bb69f4a9072d6e405ccd (commit)
      from  da5dea9b6f960603f0c02b42b5cc8384194faa5b (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 ad0681db8840484c0a18bb69f4a9072d6e405ccd
Author: Justus Winter <address@hidden>
Date:   Mon May 26 00:02:50 2014 +0200

    doc: restore section `Inherited Ports'
    
    Previously, the section `Inherited Ports' was commented out.  This was
    done, as the functionality was unused by the Hurd.  The functions
    `mach_ports_register' and `mach_ports_lookup' were never removed, and
    are exposed to user space.
    
    This patch brings the documentation back and adds a remark at the top,
    that the section documents the original intentions for this interface.
    
    I chose bringing back the documentation over removing the
    functionality because I like to make use of it as a method for service
    discovery that is deliberately orthogonal to the way the service
    lookup is usually done in the Hurd.  This can be used to implement
    robust low-level debugging facilities.
    
    * doc/mach.texi: Restore section `Inherited Ports'.

-----------------------------------------------------------------------

Summary of changes:
 doc/mach.texi |  127 +++++++++++++++++++++++++++++----------------------------
 1 files changed, 65 insertions(+), 62 deletions(-)


hooks/post-receive
-- 
GNU Mach