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, rbraun/thread_terminate_release has been deleted
was c8a03cb3a9c6961527a4b8aa3c974343dbcdae89
-----------------------------------------------------------------------
c8a03cb3a9c6961527a4b8aa3c974343dbcdae89 thread_terminate_release
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach