[SCM] GNU Mach branch, master-xen, updated. 713a6da6e68bc516b23df7ee075b88c493f7078b

[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-xen has been updated
       via  713a6da6e68bc516b23df7ee075b88c493f7078b (commit)
       via  c8e83e1c0dd2ac4eb9886576910cab8a50ace78d (commit)
       via  6e85ad01411dbea60718c97b28887f644d937862 (commit)
       via  ea2b5b8f72c56bde682593e783552eb13b7412ad (commit)
       via  a6f1c3969da8040f1f7306308d0154858276cc51 (commit)
      from  d8d4d888fa629a0492a0dafefada621fec70cd92 (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 -----------------------------------------------------------------
-----------------------------------------------------------------------

Summary of changes:
 i386/intel/pmap.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)


hooks/post-receive
-- 
GNU Mach