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  281b090996119d286a3c3c52d52d4df27d253a64

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

BRANCH WAS DELETED

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


hooks/post-receive
-- 
uvm