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-gdb_stubs has been deleted
was 240a3cc715312da1d7a43e9d00dfe5882a3cdc14
-----------------------------------------------------------------------
240a3cc715312da1d7a43e9d00dfe5882a3cdc14 The GDB stub is functional
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
