[SCM] gawk branch, porting, updated. gawk-4.1.0-5062-gb7f3ad7c

[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  b7f3ad7cdefd82c1ca1e4df98a8e1fe6ccee603c (commit)
       via  d2e790ba59423f15312112bf18cc2e2c3227e564 (commit)
       via  a9c05f332c080dafea8356e91259e0bb61d72103 (commit)
      from  d71ce1358f6d5121404352cf04fe51266dc40579 (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=b7f3ad7cdefd82c1ca1e4df98a8e1fe6ccee603c

commit b7f3ad7cdefd82c1ca1e4df98a8e1fe6ccee603c
Merge: d71ce135 d2e790ba
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Apr 29 11:02:29 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    5 +
 doc/gawk.info   | 1192 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   12 +-
 doc/gawktexi.in |   12 +-
 4 files changed, 613 insertions(+), 608 deletions(-)


hooks/post-receive
-- 
gawk