[SCM] gawk branch, porting, updated. gawk-4.1.0-4020-g6f51275

[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  6f512753e06d7ccf5d69278f1eea6d83095c7c1a (commit)
       via  58393a76d8a5c8c63458e800a344ee6a1609a511 (commit)
       via  94e6de71dd7f6dd1135ad2724e4402606d9604a3 (commit)
       via  9c8a57c62f3cd1fce213a7a852d6a2d21f7d7f1a (commit)
       via  45a8c3162aaa39dba2f21ed04b43ad6ad35d6d72 (commit)
       via  b072e69915b7e66bd328e99c451124d6a3c9c193 (commit)
       via  e22b785488f4ef2f02bcdf1e92a1463f09deb87a (commit)
       via  08ac3055613b2c060615dbef1008ae07f4f0b078 (commit)
       via  37941069ee845ebf20d96397acacf35215b7ea39 (commit)
      from  92cdff57c59acf506fdf586deaf92b9c2c55e6e9 (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=6f512753e06d7ccf5d69278f1eea6d83095c7c1a

commit 6f512753e06d7ccf5d69278f1eea6d83095c7c1a
Merge: 92cdff5 58393a7
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Mar 18 22:23:00 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          |    4 +
 TODO               |    9 +-
 doc/ChangeLog      |    6 +
 doc/gawk.info      | 1220 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |   30 +-
 doc/gawktexi.in    |   30 +-
 doc/it/ChangeLog   |    5 +
 doc/it/gawktexi.in |   29 +-
 doc/it/texinfo.tex |   32 +-
 po/ChangeLog       |    9 +
 po/de.po           |  650 ++++++++--------------------
 po/fr.po           |  533 +++++++----------------
 po/it.po           |  622 ++++++++++-----------------
 po/pt.po           |  435 ++++++-------------
 po/pt_BR.po        |  530 +++++++----------------
 po/sv.po           |  374 +++++-----------
 test/ChangeLog     |    5 +
 test/Makefile.am   |    4 +-
 test/Makefile.in   |    4 +-
 19 files changed, 1658 insertions(+), 2873 deletions(-)


hooks/post-receive
-- 
gawk