[SCM] gawk branch, porting, updated. gawk-4.1.0-4985-geb8f2b74

[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  eb8f2b74a40bc0d37220328690bf0bd0aef18a20 (commit)
       via  8f166e9571804a61c33822722c334062e1e47c39 (commit)
       via  eb2c6b89f4eeea5a8069ffd2800012e652e30475 (commit)
       via  1baf3e67f24c419cf160755506fc3a6c4101585e (commit)
       via  ed16998e7d4e7677934cd835a986a6956ec35611 (commit)
       via  5e34d9a04101ab3faa66c0efe0cfbe09bf344ed0 (commit)
       via  2ac80a1340f0424c88c34a242fde57a7575301d0 (commit)
       via  09b0538bc7a237f690f178aae6a43f90dcb5c6dc (commit)
      from  41a97ec1371a47a50a7e7ada5f8f9e5d329de48c (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=eb8f2b74a40bc0d37220328690bf0bd0aef18a20

commit eb8f2b74a40bc0d37220328690bf0bd0aef18a20
Merge: 41a97ec1 8f166e95
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Feb 25 12:31:28 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog           |    9 +
 doc/ChangeLog       |   10 +
 doc/gawk.info       |  290 ++++++------
 doc/gawk.texi       |   14 +-
 doc/gawktexi.in     |   14 +-
 doc/it/ChangeLog    |    4 +
 doc/it/gawktexi.in  |   69 ++-
 extension/ChangeLog |    7 +
 extension/intdiv.c  |    3 -
 extension/testext.c |   29 +-
 gawkapi.c           |    3 +
 po/ChangeLog        |    4 +
 po/it.po            | 1212 ++++++++++++++++++++++++++-------------------------
 13 files changed, 911 insertions(+), 757 deletions(-)
 mode change 100755 => 100644 po/it.po


hooks/post-receive
-- 
gawk