[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4508-g6cb9009

[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  6cb90092d45b9d6f4a8f179f7346b94670b86328 (commit)
       via  d352f271d0e44f8d7bbf8d430ef90156f45d3921 (commit)
       via  b80d5fbb3fdb88b8a2731de0f1ca3a92b14dc8df (commit)
       via  6c5a399c3de64a3f2de3b4cedc9243a6c666b689 (commit)
      from  ef1c55a16f95e22b6ba7ba61e882d5bc8a3cc6d0 (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=6cb90092d45b9d6f4a8f179f7346b94670b86328

commit 6cb90092d45b9d6f4a8f179f7346b94670b86328
Merge: ef1c55a d352f27
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Apr 13 09:46:18 2020 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 doc/ChangeLog      |   5 +
 doc/gawk.info      | 993 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |   3 +-
 doc/gawktexi.in    |   3 +-
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  93 ++++-
 6 files changed, 593 insertions(+), 508 deletions(-)


hooks/post-receive
-- 
gawk