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 deleted
was 374ba7bff4ec9d4fb574abce27103c89fa772c3a
-----------------------------------------------------------------------
374ba7bff4ec9d4fb574abce27103c89fa772c3a Merge branch 'master' into master-xen
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
