[SCM] gawk branch, porting, updated. gawk-4.1.0-4648-ga9cff13

[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  a9cff13d18b83911d19df8edf2152aa613f75a65 (commit)
       via  cf9132208075631697b1043273edddb76273c3f0 (commit)
       via  2088e95f3a6b41443b9951c2a4d7dfbe3df0ce27 (commit)
      from  45a4f2d83a5bafb490817ce47931f9cfee45d204 (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=a9cff13d18b83911d19df8edf2152aa613f75a65

commit a9cff13d18b83911d19df8edf2152aa613f75a65
Merge: 45a4f2d cf91322
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jun 17 09:08:42 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    5 +
 doc/gawk.info   | 1232 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   24 +-
 doc/gawktexi.in |   20 +-
 4 files changed, 663 insertions(+), 618 deletions(-)


hooks/post-receive
-- 
gawk