[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-611-g433e2b2

[Ben Elliston]

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, master has been updated
       via  433e2b2cc0815dc8795a950b3f4eeaa0d46c3d0c (commit)
      from  39f9a7703a57127792b0760bef116c1cb6952d52 (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 433e2b2cc0815dc8795a950b3f4eeaa0d46c3d0c
Author: Ben Elliston <address@hidden>
Date:   Sat Dec 8 08:22:16 2018 +1100

        * lib/tip.exp (tip_open): Put braces around if expression.

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

Summary of changes:
 ChangeLog   | 4 ++++
 lib/tip.exp | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
DejaGNU