[SCM] gawk branch, porting, updated. gawk-4.1.0-5824-g731feff2

[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  731feff2733eb5e8fb7282c09fa0f35c6b1f8eb6 (commit)
       via  ae6e65fdd2ab3b820dd1d60e59cb5a7ece05b397 (commit)
       via  84e5c8971aad5ba87ff1c8bf3ce5297d92cef27f (commit)
       via  0f0bb263dcd493a9a3db44ee881111ff2606f383 (commit)
       via  45d7bc53ca6126c73d9895992630b196633152d3 (commit)
      from  b069dfd35899d17f53fca2937b5e863cfd087edf (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=731feff2733eb5e8fb7282c09fa0f35c6b1f8eb6

commit 731feff2733eb5e8fb7282c09fa0f35c6b1f8eb6
Merge: b069dfd3 ae6e65fd
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu May 25 12:03:35 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog            |    4 +
 doc/gawk.info            | 1148 +++++++++++++++++++++++-----------------------
 doc/gawk.texi            |   17 +-
 doc/gawktexi.in          |   17 +-
 extension/ChangeLog      |   10 +
 extension/Makefile.am    |    8 -
 extension/Makefile.in    |   42 +-
 extension/readdir.c      |   31 +-
 extension/readdir_test.c |  344 --------------
 pc/ChangeLog             |    4 +
 pc/Makefile.tst          |   14 +-
 test/ChangeLog           |    9 +
 test/Makefile.am         |   15 +-
 test/Makefile.in         |   15 +-
 test/check_retest.awk    |    2 +
 15 files changed, 698 insertions(+), 982 deletions(-)
 delete mode 100644 extension/readdir_test.c
 create mode 100644 test/check_retest.awk


hooks/post-receive
-- 
gawk