[SCM] gawk branch, porting, updated. gawk-4.1.0-5639-ge4ddf206

[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  e4ddf2060bc78c9f8d70fd21e86fc8b4a1a67111 (commit)
       via  0a6ab36fe60438a4c98eb6f216efc3a6a9cf52d2 (commit)
       via  9364221e26d2d33e722ea7e887063e4a38bc38d2 (commit)
       via  e63cca98399dba068ef2c8fa9dff6be26e938b0c (commit)
       via  9a90db38b60a16259b5052231c189e78a00db364 (commit)
       via  5384f3ac1faee87420abe2935b9bf46548eb4f5c (commit)
       via  d309632871e4ace8f5f14cf2a5265a1516d09a54 (commit)
       via  628b917e92372b23c3a5db0a3f16dfa2128ffd65 (commit)
      from  fa666172a2cfafec74853e7bfb214db94c0d8270 (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=e4ddf2060bc78c9f8d70fd21e86fc8b4a1a67111

commit e4ddf2060bc78c9f8d70fd21e86fc8b4a1a67111
Merge: fa666172 0a6ab36f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Feb 15 08:44:11 2023 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          |  2 +-
 doc/ChangeLog      |  5 +++
 doc/gawk.info      |  4 +--
 doc/gawk.texi      |  2 +-
 doc/gawktexi.in    |  2 +-
 doc/it/ChangeLog   | 13 ++++++++
 doc/it/gawktexi.in | 91 +++++++++++++++++++++++++++++++++++++++++++++---------
 7 files changed, 100 insertions(+), 19 deletions(-)


hooks/post-receive
-- 
gawk