dejagnu-commit
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Dejagnu-commit] [SCM] DejaGNU branch, mwr-patch-20231212, deleted. deja


From: Jacob Bachmeyer
Subject: [Dejagnu-commit] [SCM] DejaGNU branch, mwr-patch-20231212, deleted. dejagnu_1_4_3-910-g768c523
Date: Wed, 13 Dec 2023 21:02:36 -0500 (EST)

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, mwr-patch-20231212 has been deleted
       was  768c5237cbf99f29a86d6cdd59e7579852857be6

-----------------------------------------------------------------------
768c5237cbf99f29a86d6cdd59e7579852857be6 Add consistent logging of executed 
commands
-----------------------------------------------------------------------


hooks/post-receive
-- 
DejaGNU



reply via email to

[Prev in Thread] Current Thread [Next in Thread]