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 5fbd523b5af7b9fc84bca1ea9fabcab36ea4fcee (commit) from 48b5351b4811292c3a8a6bc535564aa1b1934969 (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 5fbd523b5af7b9fc84bca1ea9fabcab36ea4fcee Author: Ben Elliston <b...@gnu.org> Date: Wed Nov 28 20:39:36 2018 +1100 * config.guess: Update to latest version. * config.sub: Likewise. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 5 +++++ config.guess | 5 ++++- config.sub | 5 +++-- 3 files changed, 12 insertions(+), 3 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit