[SCM] gawk branch, porting, updated. gawk-4.1.0-3948-ge1372bf

[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  e1372bf56b07c74265dd8613fbc4e6e0ef415e84 (commit)
       via  b772cbdb64d399de121a056656a4d275f2b9b167 (commit)
       via  c0dfb9269380ff5a90dbf6606f64989848304527 (commit)
       via  1ef484e65a03a8360434c404c9a3006671bab2f7 (commit)
      from  687f39d4d1cd9fc9877013b43facd30106748ee4 (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=e1372bf56b07c74265dd8613fbc4e6e0ef415e84

commit e1372bf56b07c74265dd8613fbc4e6e0ef415e84
Merge: 687f39d b772cbd
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jan 24 09:46:33 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          |  16 +
 TODO               |   5 +-
 array.c            |  41 ++-
 builtin.c          |   3 +-
 cint_array.c       |   2 +-
 doc/ChangeLog      |   6 +
 doc/gawk.info      | 872 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |  13 +
 doc/gawktexi.in    |  13 +
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  34 ++-
 interpret.h        |   3 +-
 main.c             |   5 +-
 profile.c          |   2 +-
 support/ChangeLog  |   4 +
 support/dfa.c      |   2 +-
 support/dfa.h      |   2 +-
 test/ChangeLog     |   5 +
 test/Makefile.am   |   8 +-
 test/Makefile.in   |  76 +----
 test/Maketests     |  60 ----
 test/symtab11.awk  |  30 ++
 test/symtab11.ok   |  76 +++++
 23 files changed, 704 insertions(+), 578 deletions(-)
 create mode 100644 test/symtab11.awk
 create mode 100644 test/symtab11.ok


hooks/post-receive
-- 
gawk