[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4736-gaf8cb27

[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  af8cb270f4ae37ff081c5cb0e249c88eb9d4a441 (commit)
       via  696533f3f4a3b2dd36042eac5e1dce6f9bcec129 (commit)
      from  450789d626f79b6edac9614e039ca8c32b374ce9 (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=af8cb270f4ae37ff081c5cb0e249c88eb9d4a441

commit af8cb270f4ae37ff081c5cb0e249c88eb9d4a441
Merge: 450789d 696533f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Sep 13 21:03:38 2020 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 awklib/eg/prog/egrep.awk |  67 +++--
 doc/ChangeLog            |   5 +
 doc/gawk.info            | 750 ++++++++++++++++++++++++-----------------------
 doc/gawk.texi            | 190 +++++++-----
 doc/gawktexi.in          | 190 +++++++-----
 5 files changed, 660 insertions(+), 542 deletions(-)


hooks/post-receive
-- 
gawk