[Top][All Lists]

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

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

From: Jacob Bachmeyer
Subject: [Dejagnu-commit] [SCM] DejaGNU branch, PR42399, updated. dejagnu_1_4_3-761-g55f9826
Date: Mon, 31 Aug 2020 21:51:46 -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 updated
       via  55f9826c50a59c6c86e221dc9abfbbbd0d7ef0b6 (commit)
      from  264bd34c28a16e18860dbc69a21a96c1be130b08 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 55f9826c50a59c6c86e221dc9abfbbbd0d7ef0b6
Author: Jacob Bachmeyer <>
Date:   Sat Jul 25 21:57:21 2020 -0500

    Add warnings about synchronization with the tested program


Summary of changes:
 ChangeLog        |  10 +++++
 doc/dejagnu.texi | 121 ++++++++++++++++++++++++++++++++++++-------------------
 2 files changed, 90 insertions(+), 41 deletions(-)


reply via email to

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