[SCM] gawk branch, porting, updated. gawk-4.1.0-4750-gb213f07

[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, porting has been updated
       via  b213f074630e4e0467e8a2f744d94d052f868ae6 (commit)
       via  dcb93a4544f44beb127248327818f6bbdbe18043 (commit)
       via  3f87dfdb1fa3a54d4ca453a2cf00ec9ad42fc178 (commit)
       via  64ec54dcc2320d1f1b1e16068674c1333b0bf108 (commit)
      from  a9b798fefdbdfd92d1f0f456c6a8693cc6603c5a (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=b213f074630e4e0467e8a2f744d94d052f868ae6

commit b213f074630e4e0467e8a2f744d94d052f868ae6
Merge: a9b798f dcb93a4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Sep 10 12:17:51 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog              |  5 ++++
 Makefile.in            | 11 ++++-----
 NEWS                   |  2 +-
 aclocal.m4             | 62 +++++++++++++++++++++++++++++++-------------------
 awklib/Makefile.in     | 10 ++++----
 configure              | 17 ++++++++++++++
 doc/Makefile.in        |  8 ++++---
 extension/ChangeLog    | 12 +++++++++-
 extension/Makefile.in  | 11 ++++-----
 extension/aclocal.m4   | 62 +++++++++++++++++++++++++++++++-------------------
 extension/configh.in   |  4 ----
 extension/configure    | 24 +++++++++++++------
 extension/configure.ac |  8 +++----
 extras/Makefile.in     |  8 ++++---
 m4/ChangeLog           |  5 ++++
 m4/mpfr.m4             |  4 ++--
 m4/readline.m4         | 21 +++++++++--------
 m4/threadlib.m4        |  4 ++--
 support/Makefile.in    | 10 ++++----
 test/Makefile.in       |  8 ++++---
 20 files changed, 185 insertions(+), 111 deletions(-)


hooks/post-receive
-- 
gawk