[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4872-gb7054f3

[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  b7054f3da4ca58e4a5886901f8023bcdaa679993 (commit)
       via  08707fd27d9a0f46e9a3981d34ccb1be215ecd9b (commit)
       via  b5d29eae198241ca46fc3cf4f2d6b725bb22e6d2 (commit)
       via  98ef29fdcadffc0a05c91883c4ab8809a8b0d441 (commit)
       via  1bf8a67c114568b307c1df6dfe2042e2a3eab49b (commit)
       via  d64907b956aa8b8ef690227a852b603ee32ce862 (commit)
      from  44e275bec113531c9e1605cec936ad0b69beacae (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=b7054f3da4ca58e4a5886901f8023bcdaa679993

commit b7054f3da4ca58e4a5886901f8023bcdaa679993
Merge: 44e275b 08707fd
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 23 20:33:25 2021 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 awklib/eg/lib/isnumeric.awk |   19 +
 awklib/eg/prog/split.awk    |    2 +-
 doc/ChangeLog               |    9 +
 doc/gawk.info               | 1251 ++++++++++++++++++++++---------------------
 doc/gawk.texi               |   45 +-
 doc/gawktexi.in             |   45 +-
 doc/it/ChangeLog            |    4 +
 doc/it/gawktexi.in          |  144 ++++-
 8 files changed, 895 insertions(+), 624 deletions(-)
 create mode 100644 awklib/eg/lib/isnumeric.awk


hooks/post-receive
-- 
gawk