[SCM] gawk branch, porting, updated. gawk-4.1.0-4288-g1e5c5ad

[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  1e5c5ad8188886acbe5b20507da9fcde97f6319c (commit)
       via  166848a1579181875e6ac696fd004037441b6b75 (commit)
       via  d81c953f9b47f56ec477c75e95bd0976822545d1 (commit)
       via  c24a469a6cddbecda3a14721222e3f68d725bae5 (commit)
       via  154592f9db7af78cfa31ad6d64134ca89eed13b0 (commit)
       via  9c5fe8fd91d4ab84a893823d5076431fca893828 (commit)
      from  0536594784a388f55392baa10ed0cc8a100390c4 (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=1e5c5ad8188886acbe5b20507da9fcde97f6319c

commit 1e5c5ad8188886acbe5b20507da9fcde97f6319c
Merge: 0536594 166848a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Sep 18 14:43:45 2020 +0300

    Merge branch 'master' into porting


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

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