[SCM] gawk branch, porting, updated. gawk-4.1.0-4264-gbc4710d

[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  bc4710d4e67378d3850c9a4eeed734911f7eb13d (commit)
       via  a4de41af663b4c7ca1b3bf5de38f4fd3e468727d (commit)
       via  dd2b1a82e596f4d9c62b108ebca2694f13874d3c (commit)
       via  18b983a2603e1683c6d344d535605b5568a2f957 (commit)
      from  093b5f04a76a178897fabda21b8ae1b3fc24f24a (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=bc4710d4e67378d3850c9a4eeed734911f7eb13d

commit bc4710d4e67378d3850c9a4eeed734911f7eb13d
Merge: 093b5f0 a4de41a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 26 08:36:38 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog      |  13 +-
 doc/gawk.info      | 798 ++++++++++++++++++++++++++---------------------------
 doc/gawk.texi      |   4 +-
 doc/gawktexi.in    |   4 +-
 doc/it/ChangeLog   |   8 +
 doc/it/gawktexi.in |  55 ++--
 6 files changed, 444 insertions(+), 438 deletions(-)


hooks/post-receive
-- 
gawk