[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5393-g986e9d31

[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  986e9d3149f879367ca56b2a34dba310483e312a (commit)
       via  1064fd0dc1766023303d7ca24fee7e0bae4bb402 (commit)
       via  59e2c773c22718b9c81913e5f3949561763e1d7f (commit)
       via  b1cbd9ac416906690e0f5e61d61229c088e3706b (commit)
       via  40c1d9d408de8d27965465702c1bf6e22cfb3acb (commit)
      from  b00c3aa68edc64a63a8bc8efb0f5426d212504ba (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=986e9d3149f879367ca56b2a34dba310483e312a

commit 986e9d3149f879367ca56b2a34dba310483e312a
Merge: b00c3aa6 1064fd0d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Oct 19 07:14:47 2023 +0300

    Merge branch 'master' into feature/minrx


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

Summary of changes:
 doc/ChangeLog            |  9 +++++++++
 doc/awkcard.in           |  2 +-
 doc/gawk.1               |  7 ++++---
 doc/gawk.info            |  5 +++++
 doc/gawk.texi            |  9 ++++++---
 doc/gawkbug.1            |  2 +-
 doc/gawktexi.in          |  9 ++++++---
 doc/wordlist             |  2 ++
 extension/ChangeLog      |  4 ++++
 extension/configure      | 20 ++++++++++----------
 extension/configure.ac   |  2 +-
 pc/ChangeLog             |  4 ++++
 pc/Makefile.tst          | 25 +++++++++++++------------
 pc/Makefile.tst.prologue |  2 +-
 test/ChangeLog           |  4 ++++
 test/Makefile.am         | 18 ++++++++++--------
 test/Makefile.in         | 25 +++++++++++++------------
 test/Maketests           |  8 ++++----
 18 files changed, 98 insertions(+), 59 deletions(-)


hooks/post-receive
-- 
gawk