[SCM] gawk branch, porting, updated. gawk-4.1.0-4797-gc14a1de

[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  c14a1de5ae6cd4e200a09ee6eb2b2b2e7822bcf9 (commit)
       via  495723fa5d2c0512987f7b8f33260f0c63660fd5 (commit)
       via  d249840cccab9490a5fd9580ba5aa6181930bca5 (commit)
       via  e7666665875de7f8c01185655a447bc98fba8a3d (commit)
      from  716e539a45fe27c2d2ff566f48d0021daaffb36e (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=c14a1de5ae6cd4e200a09ee6eb2b2b2e7822bcf9

commit c14a1de5ae6cd4e200a09ee6eb2b2b2e7822bcf9
Merge: 716e539 495723f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Sep 27 11:21:04 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog      |   5 +
 doc/gawk.info      | 270 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |  91 +++++++++---------
 doc/gawktexi.in    |  91 +++++++++---------
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  74 ++++++++++++---
 6 files changed, 296 insertions(+), 239 deletions(-)


hooks/post-receive
-- 
gawk