[SCM] gawk branch, porting, updated. gawk-4.1.0-5272-g53a1f82f

[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  53a1f82fac4c24ee1459e11bde532c86e00e342b (commit)
       via  9ecd7884103e292277e2ba3038369334d347879c (commit)
       via  df0fb59074ff0a4aa1f0e68dbcb5f71300b52626 (commit)
       via  6ba5c017f6c94a4082d752d3829aaaf7d07c07c1 (commit)
      from  4dfcbe178ea6c1263203202757729adf27ec3fab (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=53a1f82fac4c24ee1459e11bde532c86e00e342b

commit 53a1f82fac4c24ee1459e11bde532c86e00e342b
Merge: 4dfcbe17 9ecd7884
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Aug 11 21:16:11 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 awkgram.c       |  11 --
 configure       |   8 +
 doc/ChangeLog   |   4 +
 doc/gawk.info   | 484 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   8 +-
 doc/gawktexi.in |   8 +-
 m4/pma.m4       |   4 +-
 7 files changed, 265 insertions(+), 262 deletions(-)


hooks/post-receive
-- 
gawk