[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5486-gbaaa830a

[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  baaa830a3e66fb8a344d5dab4b4e2507d4210d52 (commit)
       via  361126cabbace3a8a6d7b1422bc5fad5477016f6 (commit)
       via  9dfc09b0fe3a4a8d893f99781b0f981073b19ac7 (commit)
       via  f2b5db761150d170903ff927c2d55370d4840d94 (commit)
      from  0cb93332deda2fd1f768278030e21ea963c24717 (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=baaa830a3e66fb8a344d5dab4b4e2507d4210d52

commit baaa830a3e66fb8a344d5dab4b4e2507d4210d52
Merge: 0cb93332 361126ca
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 30 17:21:54 2023 +0200

    Merge branch 'master' into feature/minrx


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

Summary of changes:
 doc/ChangeLog    |   4 +
 doc/gawk.info    | 654 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi    |   4 +-
 doc/it/ChangeLog |   4 +
 doc/it/gawk.texi | 242 ++++++++++++++------
 5 files changed, 509 insertions(+), 399 deletions(-)


hooks/post-receive
-- 
gawk