[SCM] gawk branch, porting, updated. gawk-4.1.0-4330-gfb7064c

[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  fb7064ca7b13ac6b9bdcaf2346ef5adfeead3bf9 (commit)
       via  ff37e5d04d28f5d9cd3125ff81487ccfe159a9f4 (commit)
       via  f7fc3e29590612f4c67e39a2772e8ea2e3412f01 (commit)
      from  4a1528c7eeae6dc22f629766b0d4b9d6eb9143db (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=fb7064ca7b13ac6b9bdcaf2346ef5adfeead3bf9

commit fb7064ca7b13ac6b9bdcaf2346ef5adfeead3bf9
Merge: 4a1528c ff37e5d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Oct 12 12:40:33 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |    6 +
 doc/ChangeLog   |    6 +
 doc/gawk.info   | 1205 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   59 +--
 doc/gawktexi.in |   59 +--
 gawkapi.c       |    2 +-
 6 files changed, 695 insertions(+), 642 deletions(-)


hooks/post-receive
-- 
gawk