[SCM] GNU Mach branch, master, updated. 3f4b14de254df3fe968fc54e1a3187f5cd8d5def

[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  3f4b14de254df3fe968fc54e1a3187f5cd8d5def (commit)
      from  33e22a2836117f1a1098b821875b35c004a717bf (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 3f4b14de254df3fe968fc54e1a3187f5cd8d5def
Author: Marin Ramesa <address@hidden>
Date:   Sat Jun 29 20:46:15 2013 +0200

    Add device_pager_setup prototype
    
    * device/ds_routines.h (device_pager_setup): Add prototype.

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

Summary of changes:
 device/ds_routines.h |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)


hooks/post-receive
-- 
GNU Mach