[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4497-g0e55efe

[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  0e55efe2d8c1ad06cf78ff8e03e3d201f1081116 (commit)
       via  166848a1579181875e6ac696fd004037441b6b75 (commit)
       via  d81c953f9b47f56ec477c75e95bd0976822545d1 (commit)
       via  c24a469a6cddbecda3a14721222e3f68d725bae5 (commit)
       via  154592f9db7af78cfa31ad6d64134ca89eed13b0 (commit)
       via  9c5fe8fd91d4ab84a893823d5076431fca893828 (commit)
      from  cef627d8acc3988c96330b4276ad6424d82e7349 (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=0e55efe2d8c1ad06cf78ff8e03e3d201f1081116

commit 0e55efe2d8c1ad06cf78ff8e03e3d201f1081116
Merge: cef627d 166848a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Sep 18 14:44:09 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 awklib/eg/prog/id.awk    |   2 +-
 doc/ChangeLog            |   5 +
 doc/gawk.info            | 544 +++++++++++++++++++++++------------------------
 doc/gawk.texi            |   6 +-
 doc/gawktexi.in          |   6 +-
 doc/it/ChangeLog         |   5 +
 doc/it/gawk.1            |   3 +-
 doc/it/gawktexi.in       | 519 +++++++++++++++++++++++++++++++++-----------
 support/ChangeLog        |   5 +
 support/cdefs.h          | 116 ++++++----
 support/dfa.c            |  23 +-
 support/intprops.h       | 106 +++++----
 support/regcomp.c        |   2 +-
 support/regex.h          |  19 +-
 support/regex_internal.h |   8 +-
 support/verify.h         |  30 ++-
 16 files changed, 887 insertions(+), 512 deletions(-)


hooks/post-receive
-- 
gawk