[SCM] gawk branch, porting, updated. gawk-4.1.0-4111-ge200f0e

[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  e200f0ebe2623b2906ee7e5f94df3e0bcde0052d (commit)
       via  2911138b7d7901a2f6dcd2d99879f055dec5e3f7 (commit)
       via  a43600eb76d87555c019079433f19039787befd5 (commit)
      from  4ca2410502317837c41d9e28f5f969758436e454 (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=e200f0ebe2623b2906ee7e5f94df3e0bcde0052d

commit e200f0ebe2623b2906ee7e5f94df3e0bcde0052d
Merge: 4ca2410 2911138
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 12 10:53:39 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |   7 +
 NEWS            |   4 +
 TODO            |  12 +-
 array.c         |  24 +-
 doc/ChangeLog   |   5 +
 doc/gawk.info   | 706 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  10 +-
 doc/gawktexi.in |  10 +-
 8 files changed, 403 insertions(+), 375 deletions(-)


hooks/post-receive
-- 
gawk