[SCM] GNU Mach branch, master, updated. 31c3142b83c7c9ce1cab98c5edf1e5743dfa20db

[Samuel Thibault]

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  31c3142b83c7c9ce1cab98c5edf1e5743dfa20db (commit)
       via  a6304541efd15e04646eff9a173ea7a292f13887 (commit)
       via  ec3bce94d9540442f47176858bdde1251f8768cc (commit)
       via  364aca401a5643267bdf895aa4ce48f1b14f9d9f (commit)
       via  4a728608cb8430d1404dce33357cab13c4befc68 (commit)
      from  8a4a549aa44df339f31042d4200d874e897bce8d (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 31c3142b83c7c9ce1cab98c5edf1e5743dfa20db
Author: Samuel Thibault <address@hidden>
Date:   Tue Sep 24 23:23:23 2013 +0200

    Drop Invariant, Front-Cover and Back-Cover references
    
    The referenced Invariant sections does not exist, and the front and back
    covers do not hold much information.

commit a6304541efd15e04646eff9a173ea7a292f13887
Author: Marin Ramesa <address@hidden>
Date:   Tue Sep 17 05:59:55 2013 +0200

    device: remove unused file dk_label.c
    
    * device/dk_label.c: Remove file.

commit ec3bce94d9540442f47176858bdde1251f8768cc
Author: Marin Ramesa <address@hidden>
Date:   Tue Sep 17 19:35:05 2013 +0200

    add comments after endifs
    
    * device/ds_routines.c [CONFIG_PCMCIA, CONFIG_INET, LINUX_DEV, MACH_HYP]: 
Add comments after endifs.

commit 364aca401a5643267bdf895aa4ce48f1b14f9d9f
Author: Marin Ramesa <address@hidden>
Date:   Tue Sep 17 19:35:04 2013 +0200

    remove lint code
    
    * device/ds_routines.c [lint]: Remove ifdefs and associated code.

commit 4a728608cb8430d1404dce33357cab13c4befc68
Author: Marin Ramesa <address@hidden>
Date:   Tue Sep 17 19:35:02 2013 +0200

    remove register qualifiers
    
    * device/ds_routines.c: Remove register qualifiers.

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

Summary of changes:
 device/dk_label.c    |   99 --------------------------------------------------
 device/ds_routines.c |   94 ++++++++++++++++++++---------------------------
 doc/mach.texi        |   20 ++--------
 3 files changed, 44 insertions(+), 169 deletions(-)
 delete mode 100644 device/dk_label.c


hooks/post-receive
-- 
GNU Mach