[SCM] gawk branch, porting, updated. gawk-4.1.0-6039-g5f943382

[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  5f9433826052a9532a5dd15d228c0f162eaad99b (commit)
       via  d30ed29ba6d73f043a2865f2fc807c6eab40504e (commit)
       via  8fd6d7b2f5b8977dfb74dd38d5703a3ccd159ee4 (commit)
       via  9b422f72dc40864cd23e276667cd721c53a4b46a (commit)
       via  571222eb6ce54cf36a60134489624e9d7e74330a (commit)
      from  9f7337ba4100ed85c2c9ef7b8350d55d0cb70fe7 (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=5f9433826052a9532a5dd15d228c0f162eaad99b

commit 5f9433826052a9532a5dd15d228c0f162eaad99b
Merge: 9f7337ba d30ed29b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Dec 2 21:59:02 2023 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog        |   5 ++
 debug.c          |  14 ++++-
 doc/ChangeLog    |   5 ++
 doc/gawk.info    | 175 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi    |  14 +----
 pc/ChangeLog     |   4 ++
 pc/Makefile.tst  |  11 +++-
 test/ChangeLog   |   5 ++
 test/Makefile.am |   8 ++-
 test/Makefile.in |  14 ++++-
 test/Maketests   |   5 ++
 11 files changed, 149 insertions(+), 111 deletions(-)


hooks/post-receive
-- 
gawk