[SCM] gawk branch, porting, updated. gawk-4.1.0-5564-gbbeed760

[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  bbeed7601bbd242ea5017bcdf72a91cff7d3bee7 (commit)
       via  31ca6bf4391d1ae4b7a8a8bb537b5e5a64049e91 (commit)
       via  eb276931fc950a1bd436b4561e8df48cbc99eec0 (commit)
       via  835a3966707389f4e92c28319795c4c4ee77a0d2 (commit)
       via  73d1fc52c2f641c72c4a4f420683ba2f23eb1997 (commit)
       via  5a62eb04a1c3cafc2a34ea7290a646e6174077e5 (commit)
      from  48c5cb225a999d03d4394a9bf54e9259e8c0df33 (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=bbeed7601bbd242ea5017bcdf72a91cff7d3bee7

commit bbeed7601bbd242ea5017bcdf72a91cff7d3bee7
Merge: 48c5cb22 31ca6bf4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Dec 11 22:23:29 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |  12 +
 NEWS            |   3 +
 doc/ChangeLog   |  13 +
 doc/gawk.info   | 899 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  33 ++-
 doc/gawktexi.in |  33 ++-
 main.c          |  10 +-
 7 files changed, 519 insertions(+), 484 deletions(-)


hooks/post-receive
-- 
gawk