[SCM] gawk branch, porting, updated. gawk-4.1.0-3923-gb6eabe6

[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  b6eabe6b77e16a8cfb623a7b85fff8788204230d (commit)
       via  85d4a663bbe5ac966b15b4d671bf892638350f4d (commit)
       via  0e81d1df1aaa8f4b281efe9f63f5fd05e6e9ef9a (commit)
       via  ef3481f8b2564bbe9c3c43cbced3e8edc9608fb0 (commit)
      from  4e0c297da4ef6dcab246b1f3944ab9ef04c46149 (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=b6eabe6b77e16a8cfb623a7b85fff8788204230d

commit b6eabe6b77e16a8cfb623a7b85fff8788204230d
Merge: 4e0c297 85d4a66
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Dec 20 13:58:29 2019 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog         |   11 +
 NEWS              |    2 +-
 awkgram.c         | 1066 +++++++++++++++++++++++++++++------------------------
 command.c         |  575 +++++++++++++++++------------
 field.c           |    4 +-
 support/ChangeLog |    4 +
 support/dfa.c     |  492 +++++++++++++------------
 support/dfa.h     |   25 +-
 8 files changed, 1203 insertions(+), 976 deletions(-)


hooks/post-receive
-- 
gawk