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, jlledom-mem-obj-proxy has been deleted
was b1efa8dfa12e345d85b84b7518164d253727e06a
-----------------------------------------------------------------------
b1efa8dfa12e345d85b84b7518164d253727e06a Memory oject proxies: add new RPC to
check proxies validity
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
