[SCM] gawk branch, porting, updated. gawk-4.1.0-3934-g8ec14b8

[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  8ec14b84d998ac1f5af3af012d9435b2be6c8dca (commit)
       via  d0b68138521e670178068999dc308ce5beace7ef (commit)
       via  3611609a48ea18cebb51a195bc32f7dbb7209d6e (commit)
       via  ca715d7d87dc4ab351af07fc9eac0e848866f6a7 (commit)
      from  3750983661399fd1557f4eb451f4f097abda5c08 (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=8ec14b84d998ac1f5af3af012d9435b2be6c8dca

commit 8ec14b84d998ac1f5af3af012d9435b2be6c8dca
Merge: 3750983 d0b6813
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Jan 1 22:34:07 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog      |   5 +
 doc/gawk.info      | 515 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |  26 ++-
 doc/gawktexi.in    |  26 ++-
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  18 ++
 6 files changed, 337 insertions(+), 257 deletions(-)


hooks/post-receive
-- 
gawk