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 has been deleted
was a81ee891cf12dc54850c7f1e366dc583016b5ee3
-----------------------------------------------------------------------
a81ee891cf12dc54850c7f1e366dc583016b5ee3 Fix warning
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
