[SCM] gawk branch, porting, updated. gawk-4.1.0-4378-g2ec1341

[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  2ec1341ed7003f5ab9d95977043ed57701fa25b2 (commit)
       via  ad369a6ab8af7f01953d157e9edb8c235b2159bb (commit)
      from  1ab02429e3dc0ce2fd9393c0bea48e681d30a1b6 (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=2ec1341ed7003f5ab9d95977043ed57701fa25b2

commit 2ec1341ed7003f5ab9d95977043ed57701fa25b2
Merge: 1ab0242 ad369a6
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Nov 20 11:28:16 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   6 ++
 doc/gawk.info   | 330 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   2 +-
 doc/gawktexi.in |   2 +-
 4 files changed, 173 insertions(+), 167 deletions(-)


hooks/post-receive
-- 
gawk