[SCM] gawk branch, porting, updated. gawk-4.1.0-4026-g5385141

[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  5385141bb6b66c94180c513c0ebc10a25231fa5e (commit)
       via  14ef9db6a924d6718f76b323cdfde8ad341b02ef (commit)
       via  eb2bcbeebacc36245399a8fb58ac2b45f2ab33f5 (commit)
      from  672f8e202bedf600169840f36ba6e4b7fd30307f (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=5385141bb6b66c94180c513c0ebc10a25231fa5e

commit 5385141bb6b66c94180c513c0ebc10a25231fa5e
Merge: 672f8e2 14ef9db
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Mar 20 12:39:21 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |    4 +
 doc/it/gawktexi.in |    2 +-
 po/ChangeLog       |    4 +
 po/it.po           | 1142 +---------------------------------------------------
 4 files changed, 19 insertions(+), 1133 deletions(-)


hooks/post-receive
-- 
gawk