[SCM] gawk branch, porting, updated. gawk-4.1.0-4052-g1f8b2c2

[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  1f8b2c24d07e2878be52e94538dd475366cfac7e (commit)
       via  d352f271d0e44f8d7bbf8d430ef90156f45d3921 (commit)
       via  b80d5fbb3fdb88b8a2731de0f1ca3a92b14dc8df (commit)
       via  6c5a399c3de64a3f2de3b4cedc9243a6c666b689 (commit)
      from  94a63652aca58658b13215176ba9ffa9dcfc4df8 (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=1f8b2c24d07e2878be52e94538dd475366cfac7e

commit 1f8b2c24d07e2878be52e94538dd475366cfac7e
Merge: 94a6365 d352f27
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Apr 13 09:45:49 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog      |   5 +
 doc/gawk.info      | 993 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |   3 +-
 doc/gawktexi.in    |   3 +-
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  93 ++++-
 6 files changed, 593 insertions(+), 508 deletions(-)


hooks/post-receive
-- 
gawk