[SCM] gawk branch, porting, updated. gawk-4.1.0-4023-g672f8e2

[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  672f8e202bedf600169840f36ba6e4b7fd30307f (commit)
       via  7a3ee61f74a2857a248e442bf294a994c2ef75fb (commit)
       via  d63937847108c369ec03ed6d7d7168a6d63e04fe (commit)
      from  6f512753e06d7ccf5d69278f1eea6d83095c7c1a (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=672f8e202bedf600169840f36ba6e4b7fd30307f

commit 672f8e202bedf600169840f36ba6e4b7fd30307f
Merge: 6f51275 7a3ee61
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Mar 20 11:27:51 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 configure              |  20 +-
 configure.ac           |   2 +-
 extension/configure    |  20 +-
 extension/configure.ac |   2 +-
 pc/Makefile.tst        |   4 +-
 pc/config.h            |   6 +-
 po/ca.po               |   2 +-
 po/da.po               |   2 +-
 po/de.gmo              | Bin 88395 -> 90234 bytes
 po/de.po               | 599 +++++++++++++++++++++++++++++++++++--------------
 po/es.po               |   2 +-
 po/fi.po               |   2 +-
 po/fr.gmo              | Bin 88911 -> 90796 bytes
 po/fr.po               | 484 +++++++++++++++++++++++++++------------
 po/gawk.pot            |   4 +-
 po/id.po               |   2 +-
 po/it.gmo              | Bin 74755 -> 85601 bytes
 po/it.po               |   2 +-
 po/ja.po               |   2 +-
 po/ko.po               |   2 +-
 po/ms.po               |   2 +-
 po/nl.po               |   2 +-
 po/pl.po               |   2 +-
 po/pt.gmo              | Bin 83771 -> 85549 bytes
 po/pt.po               | 386 ++++++++++++++++++++++---------
 po/pt_BR.gmo           | Bin 85136 -> 86915 bytes
 po/pt_BR.po            | 479 +++++++++++++++++++++++++++------------
 po/sv.gmo              | Bin 84713 -> 86507 bytes
 po/sv.po               | 317 ++++++++++++++++++--------
 po/vi.po               |   2 +-
 po/zh_CN.po            |   2 +-
 31 files changed, 1665 insertions(+), 684 deletions(-)


hooks/post-receive
-- 
gawk