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-zhengda has been deleted
was 4927ec8dcec04cd1b4b8f5b4f2cc895d68f956a5
-----------------------------------------------------------------------
4927ec8dcec04cd1b4b8f5b4f2cc895d68f956a5 Fix a bug in bpf.
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
