[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5564-g408cab99

[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, feature/minrx has been updated
       via  408cab996fe9b689e00c6dda345a3d9016d5aeb7 (commit)
       via  6234ac3cd1b8592757f996cfc6b13fbeaba60786 (commit)
       via  501b67e16e7bcc795067ad36a939c679e17ebc8d (commit)
       via  b79bfe4ef67aa2ca9dcdbe46bfe49aa625143236 (commit)
       via  b32fef82ee1aa1e3ec05190790368a81ce55f7cf (commit)
       via  08c2c8a77c509274aa70963392da71fd83410595 (commit)
       via  42114c656f818fcf743d443a0d41425947b4914a (commit)
       via  b994204e7f9826428e2022da664c9bb9e1b0e5bf (commit)
      from  f41f2d6805143c9ebff645171874d9379b8cd03e (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=408cab996fe9b689e00c6dda345a3d9016d5aeb7

commit 408cab996fe9b689e00c6dda345a3d9016d5aeb7
Merge: f41f2d68 6234ac3c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Feb 15 15:32:30 2024 +0200

    Merge branch 'master' into feature/minrx


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

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