[SCM] gawk branch, porting, updated. gawk-4.1.0-4433-g5b129be

[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  5b129be44e478bc118599f1c4f31bbc76ef7621d (commit)
       via  32a9f7f24000827da433b89de7c24c5d95a561c6 (commit)
       via  5b3ac78d72621697e717765d2d634d7fc271f3c9 (commit)
      from  3b185c2fec9b1f13ea5dd62354b9de97c7fb2a48 (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=5b129be44e478bc118599f1c4f31bbc76ef7621d

commit 5b129be44e478bc118599f1c4f31bbc76ef7621d
Merge: 3b185c2 32a9f7f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jan 8 14:50:36 2021 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    6 +
 doc/gawk.info   | 1096 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   52 ++-
 doc/gawktexi.in |   22 +-
 4 files changed, 626 insertions(+), 550 deletions(-)


hooks/post-receive
-- 
gawk