[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5543-g01713a6d

[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  01713a6dc61e3a560d01232ef3b72c2a70ee2d72 (commit)
       via  7e7be4db079ec0c3ba5cb7b4ec25bb405f472212 (commit)
      from  a800e9042ef420ed18000fa8777e6e4fa05f17da (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=01713a6dc61e3a560d01232ef3b72c2a70ee2d72

commit 01713a6dc61e3a560d01232ef3b72c2a70ee2d72
Merge: a800e904 7e7be4db
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jan 29 10:29:23 2024 +0200

    Merge branch 'master' into feature/minrx


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

Summary of changes:
 doc/it/ChangeLog |  4 ++++
 doc/it/gawk.texi | 63 +++++++++++++++++++++++++++++++++-----------------------
 2 files changed, 41 insertions(+), 26 deletions(-)


hooks/post-receive
-- 
gawk