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-memory-object-proxy has been deleted was 7e3b456cb6b0aabdb01598815e56352651ae477c ----------------------------------------------------------------------- 7e3b456cb6b0aabdb01598815e56352651ae477c Memory oject proxies: add new RPC to check proxies validity ----------------------------------------------------------------------- hooks/post-receive -- GNU Mach