[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5431-g315877d1

[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  315877d1450feac936df07506d7af23e115783d2 (commit)
       via  20cf4a837f2a7c8063d321f7abd22da1378f14a4 (commit)
       via  fd7fe3c762a78f42a40ebcc3ed143d198192fa00 (commit)
       via  841b0a19725dbefef61ac5e2dbce5480f1e1be7c (commit)
       via  b25a2d5a3e9f9058e4cee9a03a027dc9ca8d2f4a (commit)
      from  8bb2b97e5ee3029a46d2d6571112487411c7245a (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=315877d1450feac936df07506d7af23e115783d2

commit 315877d1450feac936df07506d7af23e115783d2
Merge: 8bb2b97e 20cf4a83
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Oct 24 13:13:40 2023 +0300

    Merge branch 'master' into feature/minrx


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

Summary of changes:
 doc/it/ChangeLog | 9 +++++++++
 doc/it/gawk.1    | 4 ++--
 doc/it/gawkbug.1 | 2 --
 3 files changed, 11 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk