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 6c7789fa9f57bcf6a7fd516b45748f972a27bade (commit)
from 6ccb10558e84eca592742a415f64bb6719565875 (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 6c7789fa9f57bcf6a7fd516b45748f972a27bade
Author: Jacob Bachmeyer <jcb62...@gmail.com>
Date: Sat Dec 29 18:01:58 2018 +1100
* dejagnu: Avoid use of semicolon as sed(1) command separator.
POSIX does not clearly require sed(1) to support that feature.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
dejagnu | 2 +-
2 files changed, 6 insertions(+), 1 deletion(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
