[SCM] gawk branch, porting, updated. gawk-4.1.0-5065-g9725ee32

[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  9725ee324293ce0e2b581bb702c7e10e45f43301 (commit)
       via  0b77c57f7a3f197b260e546770e6844a6c157b22 (commit)
       via  00932ab70f6065cb2088c87020e35db8d5f0d52f (commit)
      from  b7f3ad7cdefd82c1ca1e4df98a8e1fe6ccee603c (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=9725ee324293ce0e2b581bb702c7e10e45f43301

commit 9725ee324293ce0e2b581bb702c7e10e45f43301
Merge: b7f3ad7c 0b77c57f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Apr 29 11:40:35 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 awklib/eg/misc/{arraymax.awk => arrayorder.awk}   |   0
 awklib/eg/misc/{arraymax.data => arrayorder.data} |   0
 doc/ChangeLog                                     |   5 +
 doc/gawk.info                                     | 760 +++++++++++-----------
 doc/gawk.texi                                     |   8 +-
 doc/gawktexi.in                                   |   8 +-
 6 files changed, 399 insertions(+), 382 deletions(-)
 rename awklib/eg/misc/{arraymax.awk => arrayorder.awk} (100%)
 rename awklib/eg/misc/{arraymax.data => arrayorder.data} (100%)


hooks/post-receive
-- 
gawk