[SCM] gawk branch, porting, updated. gawk-4.1.0-4137-gf3097c9

[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  f3097c95b83c162104e9d6786aba150754f82bf5 (commit)
       via  c5da6de2f300f371d035d9a43af984f170124825 (commit)
       via  efd054b9800ec926587d2903f0712c68d4591d43 (commit)
       via  85da96b705877b4a10b0a96b3d9722536674b2d0 (commit)
      from  26cc88a6a0e9566bdc012c5674e95f095dfc145d (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=f3097c95b83c162104e9d6786aba150754f82bf5

commit f3097c95b83c162104e9d6786aba150754f82bf5
Merge: 26cc88a c5da6de
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jul 2 10:32:08 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog              |   13 +
 NEWS                   |    3 +
 awk.h                  |    4 +-
 doc/ChangeLog          |    4 +
 doc/gawk.1             |   13 +-
 doc/gawk.info          | 1239 ++++++++++++++++++++++++------------------------
 doc/gawk.texi          |   12 +
 doc/gawktexi.in        |   12 +
 eval.c                 |  114 ++---
 interpret.h            |    8 +-
 main.c                 |    8 +-
 pc/Makefile.tst        |   15 +-
 test/ChangeLog         |    9 +
 test/Makefile.am       |   15 +-
 test/Makefile.in       |   21 +-
 test/Maketests         |    6 +
 test/badargs.ok        |    1 +
 test/posix_compare.awk |   47 ++
 test/posix_compare.ok  |   12 +
 19 files changed, 866 insertions(+), 690 deletions(-)
 create mode 100644 test/posix_compare.awk
 create mode 100644 test/posix_compare.ok


hooks/post-receive
-- 
gawk