[SCM] gawk branch, porting, updated. gawk-4.1.0-4463-g813621f

[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  813621f90c15b2c3dfd959b914870721647e802a (commit)
       via  2dbf19a6bcf289c1cf4c309f15f1a33aa469de93 (commit)
      from  21a195093fe254c9255d81e94e2a9fbce04952e4 (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=813621f90c15b2c3dfd959b914870721647e802a

commit 813621f90c15b2c3dfd959b914870721647e802a
Merge: 21a1950 2dbf19a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Feb 1 13:53:05 2021 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  4 +++
 doc/it/gawktexi.in | 94 +++++++++++++++++++++++++++---------------------------
 2 files changed, 51 insertions(+), 47 deletions(-)


hooks/post-receive
-- 
gawk