[SCM] gawk branch, porting, updated. gawk-4.1.0-4309-g30d1323

[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  30d13239e47681e2542931fd79c29273f2e7f4a8 (commit)
       via  d0c9f1d3b2828fedf7e825e6e20811ed6b4a4700 (commit)
       via  d9ac13ffbb4dfe7ea18884f0a8898c0decbfa07b (commit)
       via  0ee9fa0f6ef9ac84a254ebf4068d15a474e0605b (commit)
       via  d8e0c7f7f2d397484f11df9d3b4805d5a343a1b6 (commit)
      from  0e770b63bf897c06f53e2ff9194025ffb6a3977f (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=30d13239e47681e2542931fd79c29273f2e7f4a8

commit 30d13239e47681e2542931fd79c29273f2e7f4a8
Merge: 0e770b6 d0c9f1d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Oct 4 12:36:58 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 awklib/eg/prog/split.awk |    2 +-
 awklib/eg/prog/wc.awk    |   27 +-
 build-aux/ChangeLog      |    4 +
 build-aux/config.sub     |    2 +
 doc/ChangeLog            |   14 +
 doc/gawk.info            | 1253 ++++++++++++++++++++++++----------------------
 doc/gawk.texi            |  133 +++--
 doc/gawktexi.in          |  133 +++--
 8 files changed, 913 insertions(+), 655 deletions(-)


hooks/post-receive
-- 
gawk