[SCM] gawk branch, porting, updated. gawk-4.1.0-5291-g9df58eca

[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  9df58eca1e49a0d0af5ec58c3d08a311f0ffb397 (commit)
       via  daa6608c9e5ec8385ac2e7a24388950ad7c6e40e (commit)
       via  36c498a173c5c61a0b78a426ecb6c7e834bdb681 (commit)
       via  44bd38538e37f219c23b223cf297f5d03b7407f1 (commit)
      from  bd37563b51e0a1e16296158ecee71861e70d1d8d (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=9df58eca1e49a0d0af5ec58c3d08a311f0ffb397

commit 9df58eca1e49a0d0af5ec58c3d08a311f0ffb397
Merge: bd37563b daa6608c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Aug 15 18:21:44 2022 +0300

    Merge branch 'master' into porting


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

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