[Dejagnu-commit] [SCM] DejaGNU branch, new-api-for-1.6.3, updated. dejagnu_1_4_3-709-g8c750f7

[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, new-api-for-1.6.3 has been updated
       via  8c750f7449bd33cb8952e8ddbb3cc5cecaa05bb3 (commit)
      from  71ad08850af0349365468eff107132af5b7077f3 (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 8c750f7449bd33cb8952e8ddbb3cc5cecaa05bb3
Author: Jacob Bachmeyer <jcb62281+dev@gmail.com>
Date:   Wed Jun 10 18:43:16 2020 -0500

    Fix Info node connectivity and formatting mistake

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

Summary of changes:
 doc/dejagnu.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
DejaGNU