[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4425-g46671c2

[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, feature/improve-inet has been updated
       via  46671c2df5f2c1f2821012d8e9f6c13f8f1bab61 (commit)
       via  a5cc0427756754da6e84bf9427b9f404d157244e (commit)
       via  f64f8374a30150ac61281671e491cf256392baae (commit)
       via  05c0e575439cd42a712ad1d626886ec3ea74e9bb (commit)
       via  3bee4587c5d57155c41dda16d1a414b6acb5a477 (commit)
       via  3521bc11110fab2f7a1f1dc4dc35215eead02b2e (commit)
      from  31ec88ed8f8a6f066a5407e5769c17d8e3618469 (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=46671c2df5f2c1f2821012d8e9f6c13f8f1bab61

commit 46671c2df5f2c1f2821012d8e9f6c13f8f1bab61
Merge: 31ec88e a5cc042
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jul 26 14:37:23 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog                |   5 +
 NEWS                     |   2 +-
 awkgram.c                | 848 +++++++++++++++++++++++------------------------
 command.c                | 344 ++++++++++---------
 pc/ChangeLog             |   8 +
 pc/Makefile              |   8 +-
 support/ChangeLog        |   6 +
 support/cdefs.h          |   2 +-
 support/dfa.c            |   2 +-
 support/libc-config.h    |  18 +-
 support/localeinfo.c     |   4 +-
 support/localeinfo.h     |   2 +-
 support/regcomp.c        |   2 +-
 support/regex.h          |   2 +-
 support/regex_internal.c |   2 +-
 support/regexec.c        |   2 +-
 support/verify.h         |  49 ++-
 17 files changed, 666 insertions(+), 640 deletions(-)


hooks/post-receive
-- 
gawk