[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4676-gdc6287d

[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  dc6287d3ac5471e94928fd41859654591cec5ec1 (commit)
       via  b11ce4a54d8ed198e734b3f8a86ed0d245bdd664 (commit)
       via  34c8c8d06b766703fdc86136a0656e4baeeb7b69 (commit)
       via  77d54285702af30644b2e028c10d4ad77e560e40 (commit)
      from  95b204fc163717f333a292791fba163d753c205a (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=dc6287d3ac5471e94928fd41859654591cec5ec1

commit dc6287d3ac5471e94928fd41859654591cec5ec1
Merge: 95b204f b11ce4a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jul 26 15:14:36 2020 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog           |   4 +
 doc/ChangeLog       |   6 ++
 doc/gawk.info       | 295 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi       |  24 +++--
 doc/gawktexi.in     |  24 +++--
 extension/ChangeLog |   5 +
 extension/intdiv.c  |  11 +-
 gawkapi.h           |  13 +--
 8 files changed, 207 insertions(+), 175 deletions(-)


hooks/post-receive
-- 
gawk