[SCM] gawk branch, porting, updated. gawk-4.1.0-5545-g52bd1666

[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  52bd1666972f52f4694af8f9faf8b0d5bbbaf2d4 (commit)
       via  196e6d6674c19e5b22efeb9de03bbd7ee2ef4cba (commit)
       via  4693c3cde8056d9179d7d712f32cb121c8902916 (commit)
       via  8ef27c83a23fea93cca0b4efc12521a5bb5b186f (commit)
      from  5d0edb2069870b34f553ac9d6b8854c55bab248c (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=52bd1666972f52f4694af8f9faf8b0d5bbbaf2d4

commit 52bd1666972f52f4694af8f9faf8b0d5bbbaf2d4
Merge: 5d0edb20 196e6d66
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Dec 1 22:13:31 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |   11 +
 TODO            |   12 +-
 awk.h           |    1 +
 doc/ChangeLog   |    5 +
 doc/gawk.info   | 1958 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   11 +-
 doc/gawktexi.in |   11 +-
 main.c          |    3 +
 symbol.c        |   36 +-
 9 files changed, 1054 insertions(+), 994 deletions(-)


hooks/post-receive
-- 
gawk