uvm-git

[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, UVM_1_2_RELEASE_RC5_WITHHTMLDOC has been deleted
       was  428b22e8295a070087d6a46a75a3fd02a3b3bd7e

-----------------------------------------------------------------------

BRANCH WAS DELETED

-----------------------------------------------------------------------


hooks/post-receive
-- 
uvm