[SCM] gawk branch, master, updated. gawk-4.1.0-4007-gc997a0e

[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, master has been updated
       via  c997a0e5d3857eb48e4292f0b42da9b3bbb985fb (commit)
       via  37b758783c35d5b205103a47a9f963baae1f97b1 (commit)
      from  5b112e89a080393836c25711ba5609d51adbcf74 (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=c997a0e5d3857eb48e4292f0b42da9b3bbb985fb

commit c997a0e5d3857eb48e4292f0b42da9b3bbb985fb
Merge: 5b112e8 37b7587
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 28 12:25:03 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

Summary of changes:
 doc/it/ChangeLog   |   7 ++
 doc/it/gawk.1      |  59 +++++-------
 doc/it/gawktexi.in |  51 +++++-----
 doc/it/texinfo.tex | 270 ++++++++++++++++++++++++++++++++++-------------------
 4 files changed, 230 insertions(+), 157 deletions(-)


hooks/post-receive
-- 
gawk