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 "uvm".
The branch, mantis_4136 has been deleted
was 73e8ff73c8fc6a3c815e292a5180b2603011737f
-----------------------------------------------------------------------
BRANCH WAS DELETED
-----------------------------------------------------------------------
hooks/post-receive
--
uvm