[SCM] gawk branch, porting, updated. gawk-4.1.0-5953-ga9a9fe93

[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  a9a9fe934376cc2bb7dedc918759a7eb29cd8f68 (commit)
       via  1064fd0dc1766023303d7ca24fee7e0bae4bb402 (commit)
       via  59e2c773c22718b9c81913e5f3949561763e1d7f (commit)
       via  b1cbd9ac416906690e0f5e61d61229c088e3706b (commit)
       via  40c1d9d408de8d27965465702c1bf6e22cfb3acb (commit)
      from  f53d367b5e7d6529d7ac602dbb9d02745a799880 (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=a9a9fe934376cc2bb7dedc918759a7eb29cd8f68

commit a9a9fe934376cc2bb7dedc918759a7eb29cd8f68
Merge: f53d367b 1064fd0d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Oct 19 07:13:45 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog            |  9 +++++++++
 doc/awkcard.in           |  2 +-
 doc/gawk.1               |  7 ++++---
 doc/gawk.info            |  5 +++++
 doc/gawk.texi            |  9 ++++++---
 doc/gawkbug.1            |  2 +-
 doc/gawktexi.in          |  9 ++++++---
 doc/wordlist             |  2 ++
 extension/ChangeLog      |  4 ++++
 extension/configure      | 20 ++++++++++----------
 extension/configure.ac   |  2 +-
 pc/ChangeLog             |  4 ++++
 pc/Makefile.tst          | 25 +++++++++++++------------
 pc/Makefile.tst.prologue |  2 +-
 test/ChangeLog           |  4 ++++
 test/Makefile.am         | 18 ++++++++++--------
 test/Makefile.in         | 25 +++++++++++++------------
 test/Maketests           |  8 ++++----
 18 files changed, 98 insertions(+), 59 deletions(-)


hooks/post-receive
-- 
gawk