[SCM] GNU Mach branch, master-x86_64, updated. v1.4-576-gb80be51

[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-x86_64 has been updated
       via  b80be51e16cc4a29f179cb7ae0cbcaa170442556 (commit)
      from  e49b07052e4fcf51d228c55f046a3d4c28ec6d09 (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 b80be51e16cc4a29f179cb7ae0cbcaa170442556
Author: Samuel Thibault <address@hidden>
Date:   Sat Sep 12 11:19:25 2015 +0200

    set default x86_64 platform to xen

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

Summary of changes:
 configure.ac |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)


hooks/post-receive
-- 
GNU Mach