[SCM] gawk branch, porting, updated. gawk-4.1.0-5298-g0f9b97c9

[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  0f9b97c9ba9febe13a391e064315dce9ef84c529 (commit)
       via  1d717fa2f10c2cba98c67b95390a992354f6617d (commit)
       via  e873b8a58e91267ece646a621bd73c59fa0a3814 (commit)
       via  4a226d78f2e9c70c6b796ed82c2f0dac34f69379 (commit)
      from  aee6c0f44f319918a1f4616efd93afc2436bb066 (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=0f9b97c9ba9febe13a391e064315dce9ef84c529

commit 0f9b97c9ba9febe13a391e064315dce9ef84c529
Merge: aee6c0f4 1d717fa2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 17 17:28:16 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog    |  14 +++
 doc/gawk.info    | 174 ++++++++++++++++--------------
 doc/gawk.texi    |  27 +++--
 doc/gawktexi.in  |  27 +++--
 doc/pm-gawk.info | 136 ++++++++++++------------
 doc/pm-gawk.texi | 314 +++++++++++++++++++------------------------------------
 doc/wordlist     |   3 +
 7 files changed, 330 insertions(+), 365 deletions(-)


hooks/post-receive
-- 
gawk