[SCM] gawk branch, porting, updated. gawk-4.1.0-4920-g1f4ff20

[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  1f4ff20356b98844c9c9ff4598fa709f28e48d85 (commit)
       via  913cb119902f0de1caf93e9c1031255849b48499 (commit)
       via  ff3c50b94116b5a2a819883a4e9e0ba9ef83fdf7 (commit)
       via  6e872ca782a6fa480aedbef8205bba6b7ccaf307 (commit)
       via  c85634612d741e496eea8619bf75d40a68f2a53b (commit)
       via  cfa3ac1c6a0fcbe794df853f25c757e4acd5fcc0 (commit)
       via  09e98ee95fb453adc0f1783937477cd065611581 (commit)
       via  e03c8822c48bedfe6cc7fbd5a9382d9630de6494 (commit)
      from  cddf25552e95e5fbd78bbb56e8ee5411f8a52c97 (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=1f4ff20356b98844c9c9ff4598fa709f28e48d85

commit 1f4ff20356b98844c9c9ff4598fa709f28e48d85
Merge: cddf255 913cb11
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Dec 10 12:21:35 2021 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 build-aux/ChangeLog      |   4 +
 build-aux/texinfo.tex    |  14 +-
 doc/ChangeLog            |   4 +
 doc/texinfo.tex          |  14 +-
 extension/ChangeLog      |  12 +
 extension/rwarray.c      |  26 ++
 support/ChangeLog        |   5 +
 support/intprops.h       |  15 +-
 support/regcomp.c        | 813 ++++++++++++++++++++---------------------------
 support/regex_internal.c |  40 ---
 support/regex_internal.h |  49 ++-
 support/regexec.c        |  77 +----
 test/ChangeLog           |   7 +
 test/iolint.awk          |   2 +-
 test/iolint.ok           |   2 +-
 15 files changed, 456 insertions(+), 628 deletions(-)


hooks/post-receive
-- 
gawk