[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4744-gc6f87d4

[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/memory-work has been updated
       via  c6f87d4de3642b3760e66de0eeef05f9d0ccf3b0 (commit)
       via  166848a1579181875e6ac696fd004037441b6b75 (commit)
       via  d81c953f9b47f56ec477c75e95bd0976822545d1 (commit)
       via  c24a469a6cddbecda3a14721222e3f68d725bae5 (commit)
       via  154592f9db7af78cfa31ad6d64134ca89eed13b0 (commit)
       via  9c5fe8fd91d4ab84a893823d5076431fca893828 (commit)
      from  2f4346b9c8b19b74a3994b405c0a90e11aa6a4a4 (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=c6f87d4de3642b3760e66de0eeef05f9d0ccf3b0

commit c6f87d4de3642b3760e66de0eeef05f9d0ccf3b0
Merge: 2f4346b 166848a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Sep 18 14:44:19 2020 +0300

    Merge branch 'master' into feature/memory-work


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

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