[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5500-g9a78623a

[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/improve-inet has been updated
       via  9a78623aaab0a0c001427f490df3cf35dea7185b (commit)
       via  daa6608c9e5ec8385ac2e7a24388950ad7c6e40e (commit)
       via  36c498a173c5c61a0b78a426ecb6c7e834bdb681 (commit)
       via  44bd38538e37f219c23b223cf297f5d03b7407f1 (commit)
      from  e7d0265fa908639d92206e693021610ab19dc4fb (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=9a78623aaab0a0c001427f490df3cf35dea7185b

commit 9a78623aaab0a0c001427f490df3cf35dea7185b
Merge: e7d0265f daa6608c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Aug 15 18:22:35 2022 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 NEWS              |    3 +-
 doc/ChangeLog     |   13 +
 doc/Makefile.am   |   11 +-
 doc/Makefile.in   |   35 +-
 doc/gawk.info     |  517 +++++++++---------
 doc/gawk.texi     |   39 +-
 doc/gawkinet.info |   91 ++--
 doc/gawktexi.in   |   39 +-
 doc/pm-gawk.info  | 1142 ++++++++++++++++++++++++++++++++++++++++
 doc/pm-gawk.texi  | 1501 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 10 files changed, 3062 insertions(+), 329 deletions(-)
 create mode 100644 doc/pm-gawk.info
 create mode 100644 doc/pm-gawk.texi


hooks/post-receive
-- 
gawk