[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5414-g18591592

[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  1859159265da4e84ac6b9ea8eeaf3fb8417d48e6 (commit)
       via  02c5147dbe1eaea911a2e67bae9251246d28b861 (commit)
      from  67a3e28a3dac767c4b0f8f8098cb6d810881afac (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=1859159265da4e84ac6b9ea8eeaf3fb8417d48e6

commit 1859159265da4e84ac6b9ea8eeaf3fb8417d48e6
Merge: 67a3e28a 02c5147d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Oct 22 08:55:52 2023 +0300

    Merge branch 'master' into feature/minrx


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

Summary of changes:
 doc/ChangeLog |   7 +
 doc/gawk.info | 762 ++++++++++++++++++++++++++++------------------------------
 doc/gawk.texi |  18 --
 3 files changed, 381 insertions(+), 406 deletions(-)


hooks/post-receive
-- 
gawk