[SCM] gawk branch, porting, updated. gawk-4.1.0-4663-g4303dd9

[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, porting has been updated
       via  4303dd99249587b86abadaece92e0ff4e306d7e0 (commit)
       via  08707fd27d9a0f46e9a3981d34ccb1be215ecd9b (commit)
       via  b5d29eae198241ca46fc3cf4f2d6b725bb22e6d2 (commit)
       via  98ef29fdcadffc0a05c91883c4ab8809a8b0d441 (commit)
       via  1bf8a67c114568b307c1df6dfe2042e2a3eab49b (commit)
       via  d64907b956aa8b8ef690227a852b603ee32ce862 (commit)
      from  ac895095dcce2adeb4a746f9d5662523a7f935b7 (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=4303dd99249587b86abadaece92e0ff4e306d7e0

commit 4303dd99249587b86abadaece92e0ff4e306d7e0
Merge: ac89509 08707fd
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 23 20:32:53 2021 +0300

    Merge branch 'master' into porting


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

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