[Top][All Lists]

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

[Dejagnu-commit] [SCM] DejaGNU branch, PR42399, deleted. dejagnu_1_4_3-7

From: Jacob Bachmeyer
Subject: [Dejagnu-commit] [SCM] DejaGNU branch, PR42399, deleted. dejagnu_1_4_3-761-g55f9826
Date: Mon, 31 Aug 2020 21:54:27 -0400 (EDT)

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, PR42399 has been deleted
       was  55f9826c50a59c6c86e221dc9abfbbbd0d7ef0b6

55f9826c50a59c6c86e221dc9abfbbbd0d7ef0b6 Add warnings about synchronization 
with the tested program


reply via email to

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