[SCM] gawk branch, porting, updated. gawk-4.1.0-5853-g23789047

[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  23789047cd2c0ab6aeb05bd71f9056d018f58323 (commit)
       via  c7acef0e1e3970d7f33cb00d4a93c92233a3f1af (commit)
       via  d96114b73baf7b65d52ca5154155d09c8a2df359 (commit)
      from  fb79a83b532ad5242a0c5185c87a2996a329d5bf (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=23789047cd2c0ab6aeb05bd71f9056d018f58323

commit 23789047cd2c0ab6aeb05bd71f9056d018f58323
Merge: fb79a83b c7acef0e
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 23 07:56:59 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   | 6 ++++++
 doc/Makefile.am | 2 +-
 doc/Makefile.in | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk