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, mplaneta/gsoc12/working has been deleted
was 93f03a3a63ba617308fd6f4be6a2356620491b7c
-----------------------------------------------------------------------
93f03a3a63ba617308fd6f4be6a2356620491b7c Add fault strategy to memory object
and correspondingly update all interfaces.
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
