[SCM] gawk branch, porting, updated. gawk-4.1.0-3980-g053c1f1

[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  053c1f1258c60ab5b502839922f79678acde41ab (commit)
       via  b80124d7d5073b195d56302f5d78f463edd581e9 (commit)
      from  9a936187846f2ecd975a8fbb050f66324c4b766d (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=053c1f1258c60ab5b502839922f79678acde41ab

commit 053c1f1258c60ab5b502839922f79678acde41ab
Merge: 9a93618 b80124d
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Mar 2 11:38:15 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in | 231 +++++++++++++++++++++++++++++++++++++++--------------
 2 files changed, 176 insertions(+), 59 deletions(-)


hooks/post-receive
-- 
gawk