[Dejagnu-commit] [SCM] DejaGNU branch, PR53427, deleted. dejagnu_1_4_3-861-gc5964e8

[Jacob Bachmeyer]

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 "DejaGNU".

The branch, PR53427 has been deleted
       was  c5964e8fa2a8c3657cd6f6fef63d43451eedac7d

-----------------------------------------------------------------------
c5964e8fa2a8c3657cd6f6fef63d43451eedac7d Reset error and warning counters 
before running each test file
-----------------------------------------------------------------------


hooks/post-receive
-- 
DejaGNU