[SCM] gawk branch, porting, updated. gawk-4.1.0-6109-gf6463876

[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  f6463876e8653a1f45f3cb4bb813f1cbc2d2b6fd (commit)
       via  6234ac3cd1b8592757f996cfc6b13fbeaba60786 (commit)
       via  501b67e16e7bcc795067ad36a939c679e17ebc8d (commit)
       via  b79bfe4ef67aa2ca9dcdbe46bfe49aa625143236 (commit)
       via  b32fef82ee1aa1e3ec05190790368a81ce55f7cf (commit)
       via  08c2c8a77c509274aa70963392da71fd83410595 (commit)
       via  42114c656f818fcf743d443a0d41425947b4914a (commit)
       via  b994204e7f9826428e2022da664c9bb9e1b0e5bf (commit)
      from  ff61453931c406e09921d59eeef7510a5377931f (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=f6463876e8653a1f45f3cb4bb813f1cbc2d2b6fd

commit f6463876e8653a1f45f3cb4bb813f1cbc2d2b6fd
Merge: ff614539 6234ac3c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Feb 15 15:31:29 2024 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |  18 ++
 doc/Makefile.am |  14 +-
 doc/Makefile.in |  41 +++-
 doc/gawk.info   | 706 ++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   2 +-
 doc/notes.info  | 712 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 doc/notes.texi  | 737 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 doc/wordlist    |   1 +
 doc/wordlist3   |   1 +
 doc/wordlist7   | 133 ++++++++++
 10 files changed, 1996 insertions(+), 369 deletions(-)
 create mode 100644 doc/notes.info
 create mode 100644 doc/notes.texi
 create mode 100644 doc/wordlist7


hooks/post-receive
-- 
gawk