[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4639-g06616b7

[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  06616b7b7e360eae695e56b1a5fa5ea7ac43376c (commit)
       via  6f3a073ab7b564b34ec214363f50813d68ea623e (commit)
       via  0446a2679b81c5e319dfe74074d1b9ab441213f1 (commit)
      from  a2eafc2fa98a3d8b58b281a4c93bfbf129ce133d (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=06616b7b7e360eae695e56b1a5fa5ea7ac43376c

commit 06616b7b7e360eae695e56b1a5fa5ea7ac43376c
Merge: a2eafc2 6f3a073
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 13 16:06:45 2020 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 doc/ChangeLog       |   6 ++
 doc/gawk.info       | 281 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi       |   9 +-
 doc/gawktexi.in     |   9 +-
 extension/ChangeLog |   6 ++
 extension/intdiv.c  |   7 ++
 6 files changed, 178 insertions(+), 140 deletions(-)


hooks/post-receive
-- 
gawk