[Uvm-git] [UVM:GIT Sourceforge] uvm branch, mantis_4136, deleted. UVM_1_1_d_RELEASE-1-g73e8ff7

[Uwe S. <uw...@us...>]

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