[SCM] gawk branch, porting, updated. gawk-4.1.0-4260-g093b5f0

[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  093b5f04a76a178897fabda21b8ae1b3fc24f24a (commit)
       via  ab992f649d6e8b40f86eb0f31f4b04daf12c0c8d (commit)
      from  686923b20e72284aa284347b69fd283ac3b5a2b1 (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=093b5f04a76a178897fabda21b8ae1b3fc24f24a

commit 093b5f04a76a178897fabda21b8ae1b3fc24f24a
Merge: 686923b ab992f6
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Aug 25 10:01:32 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |   5 +
 doc/ChangeLog   |   7 +
 doc/gawk.info   | 849 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  42 +--
 doc/gawktexi.in |  42 +--
 interpret.h     |   8 +-
 6 files changed, 475 insertions(+), 478 deletions(-)


hooks/post-receive
-- 
gawk