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 4fe160b03cf9023360ec88b764d0fd8596bf0969 (commit) from d611c4560778591e5c4f3f147fe9ba8334691e6e (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 4fe160b03cf9023360ec88b764d0fd8596bf0969 Author: Ben Elliston <b...@gnu.org> Date: Fri Jul 20 13:27:32 2018 +1000 * compile, depcomp, install-sh: Latest upstream versions. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 4 + compile | 13 +- depcomp | 10 +- install-sh | 397 ++++++++++++++++++++++++++++++------------------------------- 4 files changed, 210 insertions(+), 214 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit