[SCM] gawk branch, porting, updated. gawk-4.1.0-4234-g1087714

[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  1087714057fef43e8f513ffd3d31e7930b20c990 (commit)
       via  c731b9eb6dbbc6683a4c5020b42fca0fb06427e7 (commit)
       via  325058f0f647cb1bfdbde1f30ee1427c461fcd0d (commit)
       via  abb3c4cec8995e5f5f697fd3d68ce4901b83c1cd (commit)
       via  e726fc2b262e62f0e8bcbb6e40764d966e91e169 (commit)
      from  2f9857d30b981586890744744045ae70dc638b7d (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=1087714057fef43e8f513ffd3d31e7930b20c990

commit 1087714057fef43e8f513ffd3d31e7930b20c990
Merge: 2f9857d c731b9e
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jul 29 21:05:07 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  14 ++++++
 doc/it/gawk.1      |  24 ++++++----
 doc/it/gawktexi.in | 136 ++++++++++++++++++++++++++++++++++++++++++++---------
 doc/it/texinfo.tex |  36 ++++++++++++--
 4 files changed, 172 insertions(+), 38 deletions(-)


hooks/post-receive
-- 
gawk