[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4516-gbaeeab3

[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  baeeab34040611f8b0eff98ebf0d6717b0748c89 (commit)
       via  ae870c0e8d05e3e88b555edfe12dcb486e067a33 (commit)
       via  461ed6d987ad5ab4e4fce811abd639f1d055a311 (commit)
       via  7de3b57a8a7e36acd718ab1313c25276607e9b41 (commit)
       via  d28ba370c4a1c87982fba20bfa1524193415c837 (commit)
       via  47655d75e1d63227fd077c08246ae3152e778328 (commit)
      from  4d88c31db82cfe7b4ae7ced78cc9d1a3c6063d63 (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=baeeab34040611f8b0eff98ebf0d6717b0748c89

commit baeeab34040611f8b0eff98ebf0d6717b0748c89
Merge: 4d88c31 ae870c0
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Apr 26 17:07:19 2020 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 doc/ChangeLog            |  12 ++++
 doc/gawkinet.info        | 152 +++++++++++++++++++++++++++--------------------
 doc/gawkinet.texi        |  14 +++--
 doc/it/ChangeLog         |   5 ++
 doc/it/gawk.1            |  86 +++++++++++++--------------
 doc/it/gawktexi.in       |  35 +++++------
 doc/statist.txt          |  23 +++++++
 pc/ChangeLog             |  14 +++++
 pc/Makefile              |   2 +-
 pc/Makefile.ext          |   2 +-
 pc/Makefile.tst.prologue |   2 +-
 pc/config.sed            |   2 +-
 pc/dlfcn.h               |  20 +++++++
 pc/gawkmisc.pc           |   2 +-
 pc/getid.c               |  21 +++++++
 pc/popen.c               |  21 +++++++
 pc/popen.h               |  21 +++++++
 pc/socket.h              |  20 +++++++
 support/ChangeLog        |   5 ++
 support/dfa.c            |  65 +++++++++++++++-----
 20 files changed, 377 insertions(+), 147 deletions(-)
 create mode 100644 doc/statist.txt


hooks/post-receive
-- 
gawk