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 0ca32230dbfedc0503ee074fd17466162fd08db8
-----------------------------------------------------------------------
0ca32230dbfedc0503ee074fd17466162fd08db8 Switch to the new ChangeLog style.
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
