[SCM] gawk branch, porting, updated. gawk-4.1.0-5040-g701dfde6

[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  701dfde6bf3a971a4949b1d7ce65c38a0e42d719 (commit)
       via  b55d466c54ef8364259759fdcf2c66a5ab4fb5a1 (commit)
       via  72b1a070b5298e66fe0ab8b13489a64e14d5ea7e (commit)
       via  f77ab7d2f009da2b9e60f17633a8b71488f85ceb (commit)
      from  0b7c73bb4ba59c5935ccfbf61a96fd61f28959cb (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=701dfde6bf3a971a4949b1d7ce65c38a0e42d719

commit 701dfde6bf3a971a4949b1d7ce65c38a0e42d719
Merge: 0b7c73bb b55d466c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Apr 18 16:22:20 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |  4 +++
 doc/ChangeLog   |  5 ++++
 doc/gawk.info   | 87 +++++++++++++++++++++++++++++++++------------------------
 doc/gawk.texi   | 18 ++++++++++--
 doc/gawkbug.1   | 13 +++++----
 doc/gawktexi.in | 18 ++++++++++--
 gawkbug.in      | 12 +++++---
 7 files changed, 107 insertions(+), 50 deletions(-)


hooks/post-receive
-- 
gawk