[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-3140-g38df841

[Arnold Robbins]

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 "gawk".

The branch, master has been updated
       via  38df841e6d994c6e296a03cfd1406db74ff97f79 (commit)
       via  b4ca4f05ffd71fd3536d8a35893300d52d2ac1c1 (commit)
       via  46892392c0284bf82d60c4b8cdc652bbaa4351cb (commit)
      from  72c03bce22eae7a1e6e298a0c21dced8ef779f26 (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 -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=38df841e6d994c6e296a03cfd1406db74ff97f79

commit 38df841e6d994c6e296a03cfd1406db74ff97f79
Merge: 72c03bc b4ca4f0
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Aug 10 12:15:17 2018 +0300

    Merge branch 'gawk-4.2-stable'


-----------------------------------------------------------------------

Summary of changes:
 ChangeLog                        |   4 ++
 config.guess                     | 114 +++++++++++++++++++++------------------
 config.sub                       |  76 ++++++++++++++------------
 extension/build-aux/ChangeLog    |   4 ++
 extension/build-aux/config.guess | 114 +++++++++++++++++++++------------------
 extension/build-aux/config.sub   |  76 ++++++++++++++------------
 support/ChangeLog                |   4 ++
 support/dfa.c                    |   5 +-
 8 files changed, 222 insertions(+), 175 deletions(-)


hooks/post-receive
-- 
gawk