[SCM] GNU Mach branch, master, updated. 727da7816336e95a1658d77d1da4c3974d4eb2b1

[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  727da7816336e95a1658d77d1da4c3974d4eb2b1 (commit)
      from  df49b22d24dc714b733e4df2e21a200cb134c74a (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 727da7816336e95a1658d77d1da4c3974d4eb2b1
Author: Samuel Thibault <address@hidden>
Date:   Mon Mar 11 19:16:38 2013 +0100

    Update BASEPRI_USER
    
    * kern/sched.h (BASEPRI_USER): Increase to 25.

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

Summary of changes:
 kern/sched.h |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)


hooks/post-receive
-- 
GNU Mach