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 be2257674498a97bd600af4f3634bf3275679246 (commit)
via 18ac21ff342311780efc64bcce0902699c35b256 (commit)
from 4a4e84a615d33e462833ffbd1fe286df5477fd8c (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 be2257674498a97bd600af4f3634bf3275679246
Author: Jacob Bachmeyer <jcb62...@gmail.com>
Date: Wed Jan 23 13:24:00 2019 +1100
* doc/dejagnu.texi (Global config file): Change example to use the
Tcl "switch" command instead of the deprecated "case" command.
Signed-off-by: Ben Elliston <b...@gnu.org>
commit 18ac21ff342311780efc64bcce0902699c35b256
Author: Ben Elliston <b...@gnu.org>
Date: Sun Jan 20 18:46:48 2019 +1100
Bump version.texi.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
doc/dejagnu.texi | 16 ++++++++--------
doc/version.texi | 2 +-
3 files changed, 14 insertions(+), 9 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
