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 133ffaef0b659e159d9e41468f7b25e494b11fb3 (commit) from b49747de11a5b948f7ec42616d5366298405d03a (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 133ffaef0b659e159d9e41468f7b25e494b11fb3 Author: Ben Elliston <b...@gnu.org> Date: Tue Jan 1 20:14:00 2019 +1100 * config.guess: Update to latest version. * config.sub: Likewise. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 5 +++++ config.guess | 32 ++++++++++++++++++-------------- config.sub | 12 ++++++------ 3 files changed, 29 insertions(+), 20 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit