[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5443-g1b6252b0

[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  1b6252b09dc7510b0d4dbf9d97df8143a71d1670 (commit)
       via  8930b2c353f4b2d901508438516b4f52df77fbef (commit)
      from  3a3e4e5b941bd7128e6d901a6ca5d690f6f59f0f (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=1b6252b09dc7510b0d4dbf9d97df8143a71d1670

commit 1b6252b09dc7510b0d4dbf9d97df8143a71d1670
Merge: 3a3e4e5b 8930b2c3
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Oct 28 20:10:25 2023 +0300

    Merge branch 'master' into feature/minrx


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

Summary of changes:
 doc/ChangeLog |   5 ++
 doc/gawk.info | 156 ++++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi |   5 ++
 3 files changed, 91 insertions(+), 75 deletions(-)


hooks/post-receive
-- 
gawk