[SCM] gawk branch, porting, updated. gawk-4.1.0-4635-gf4e5d41

[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  f4e5d41ac70000afb55cb6605a02fc651cf9f778 (commit)
       via  4b414c78fb790a591275c978cb3d4af9228d3fb0 (commit)
       via  231a84fb021b17006b1bf6a9d45fb15d6e883960 (commit)
       via  bdcf2bec72b818f6a6e9e0876e61ac9545d1efda (commit)
       via  9a15a6a255b5c4c1086c5b6b6e97745b43240feb (commit)
       via  19a317cff69068e2bf4a7c584907c565f341df4e (commit)
      from  781e456fd7bb354f258cb6456f2bf9347714fdd0 (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=f4e5d41ac70000afb55cb6605a02fc651cf9f778

commit f4e5d41ac70000afb55cb6605a02fc651cf9f778
Merge: 781e456 4b414c7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun May 30 16:25:05 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog      |   8 +
 doc/gawk.1         |   4 +-
 doc/gawk.info      | 142 +++++------
 doc/gawk.texi      |   6 +-
 doc/gawktexi.in    |  10 +-
 doc/it/ChangeLog   |   5 +
 doc/it/gawk.1      |  16 +-
 doc/it/gawktexi.in | 700 +++++++++++++++++++++++++++++++++++++++++++----------
 8 files changed, 676 insertions(+), 215 deletions(-)
 mode change 100644 => 100755 doc/it/gawk.1


hooks/post-receive
-- 
gawk