[SCM] gawk branch, porting, updated. gawk-4.1.0-4130-gdb2a813

[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  db2a81302391165a2523c12af878c77b15c12509 (commit)
       via  c997a0e5d3857eb48e4292f0b42da9b3bbb985fb (commit)
       via  37b758783c35d5b205103a47a9f963baae1f97b1 (commit)
      from  bd5d50679da12213659a1686adb2a40b48c8c145 (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=db2a81302391165a2523c12af878c77b15c12509

commit db2a81302391165a2523c12af878c77b15c12509
Merge: bd5d506 c997a0e
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 28 12:25:15 2020 +0300

    Merge branch 'master' into porting


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

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