[SCM] gawk branch, porting, updated. gawk-4.1.0-4669-g24941b5

[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  24941b5d3fb4acae0cd64592546eb799956e5fc3 (commit)
       via  79767ea99028031bc8397c0246552c55d79d6389 (commit)
       via  1d2d8398f36f166517e482ad8ee836132a8fe056 (commit)
       via  471bd0da9589824f87a3f4e60c2e3951255a8462 (commit)
      from  a5efa06ab106715d9f654357c1b8f5872cbe1068 (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=24941b5d3fb4acae0cd64592546eb799956e5fc3

commit 24941b5d3fb4acae0cd64592546eb799956e5fc3
Merge: a5efa06 79767ea
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 25 12:13:01 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 awklib/eg/lib/isnumeric.awk |   5 -
 doc/ChangeLog               |   9 +
 doc/gawk.info               | 600 ++++++++++++++++++++++----------------------
 doc/gawk.texi               |  10 +-
 doc/gawktexi.in             |  10 +-
 5 files changed, 328 insertions(+), 306 deletions(-)


hooks/post-receive
-- 
gawk