[SCM] gawk branch, porting, updated. gawk-4.1.0-4440-gcdaf5ad

[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  cdaf5ad03bdce4125550cc2d8c4a667d3dc85c05 (commit)
       via  216a6e169a8813561ff1eb7af4c91b9d1ec68799 (commit)
       via  09464314120c03b6870678108c10d99c58d4aa39 (commit)
      from  ab46058e9032d8a9c41e4c129b37b8a74f6c9aad (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=cdaf5ad03bdce4125550cc2d8c4a667d3dc85c05

commit cdaf5ad03bdce4125550cc2d8c4a667d3dc85c05
Merge: ab46058 216a6e1
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jan 21 20:46:27 2021 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   5 ++
 doc/gawk.info   | 142 ++++++++++++++++++++++++++++++++------------------------
 doc/gawk.texi   |  26 ++++++++++-
 doc/gawktexi.in |  26 ++++++++++-
 4 files changed, 135 insertions(+), 64 deletions(-)


hooks/post-receive
-- 
gawk