[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4832-g5af1ba3

[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  5af1ba39d475c86d092683cad12ade81b01c91e6 (commit)
       via  c190cc7b72f9a0eea27b3455e011c2244d8d337a (commit)
       via  7d76cb815e02b1ef7bfa640975395935fccb71f8 (commit)
       via  d04f08bb8474e44417e739c7a03fb9690a9e22d8 (commit)
      from  a92a71c0c408dc7ccfeed4e33667c795f1136ef6 (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=5af1ba39d475c86d092683cad12ade81b01c91e6

commit 5af1ba39d475c86d092683cad12ade81b01c91e6
Merge: a92a71c c190cc7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Nov 16 14:37:00 2020 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 doc/ChangeLog   |   1 +
 doc/gawk.info   | 782 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   7 +-
 doc/gawktexi.in |   7 +-
 4 files changed, 400 insertions(+), 397 deletions(-)


hooks/post-receive
-- 
gawk