[SCM] gawk branch, porting, updated. gawk-4.1.0-4060-g5eee73a

[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, porting has been updated
       via  5eee73a1eda2801efc154ca8a9cb5ab76d38ac70 (commit)
       via  ae870c0e8d05e3e88b555edfe12dcb486e067a33 (commit)
       via  461ed6d987ad5ab4e4fce811abd639f1d055a311 (commit)
       via  7de3b57a8a7e36acd718ab1313c25276607e9b41 (commit)
       via  d28ba370c4a1c87982fba20bfa1524193415c837 (commit)
       via  47655d75e1d63227fd077c08246ae3152e778328 (commit)
      from  7559d69beaaeed8d442ef2467fc72092c260e2e5 (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=5eee73a1eda2801efc154ca8a9cb5ab76d38ac70

commit 5eee73a1eda2801efc154ca8a9cb5ab76d38ac70
Merge: 7559d69 ae870c0
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Apr 26 17:06:50 2020 +0300

    Merge branch 'master' into porting


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

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