[SCM] gawk branch, porting, updated. gawk-4.1.0-3917-g46cce4c

[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  46cce4c22bcc52326d0a78f1853f41b9d375621c (commit)
       via  fb48abe6ca16de5887b15f7c7774cd6c2e402176 (commit)
      from  899d2f70315939b6d8bf22ddbd3215b66f61b48e (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=46cce4c22bcc52326d0a78f1853f41b9d375621c

commit 46cce4c22bcc52326d0a78f1853f41b9d375621c
Merge: 899d2f7 fb48abe
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Dec 15 20:47:26 2019 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   | 7 +++++++
 doc/gawk.texi   | 6 ++++++
 doc/gawktexi.in | 6 ++++++
 3 files changed, 19 insertions(+)


hooks/post-receive
-- 
gawk