[SCM] gawk branch, porting, updated. gawk-4.1.0-5493-g0a965bf3

[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  0a965bf3b11edbc74b96059a0162ff09cc54d8d6 (commit)
       via  e56990c4cb97de58281b5e6e67f71547ffc57719 (commit)
      from  bae46b3befa11777d9b5eb9bac871876834e53b6 (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=0a965bf3b11edbc74b96059a0162ff09cc54d8d6

commit 0a965bf3b11edbc74b96059a0162ff09cc54d8d6
Merge: bae46b3b e56990c4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Nov 13 21:13:12 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 NEWS            |   3 +
 doc/ChangeLog   |   1 +
 doc/gawk.info   | 862 +++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |  21 ++
 doc/gawktexi.in |  21 ++
 main.c          |   4 +
 6 files changed, 489 insertions(+), 423 deletions(-)


hooks/post-receive
-- 
gawk