[SCM] gawk branch, porting, updated. gawk-4.1.0-3962-g7be65a2

[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  7be65a21a915be94588fb8d614673d75e7f704a1 (commit)
       via  bcaf861a58e63aaf82aa74abcc92ac1d81b040a6 (commit)
       via  391b5daeb5371374d7ac3d88cadf1f46db935005 (commit)
       via  a63a80f6e0f734c235fc64ee81cd155bcf0730ca (commit)
       via  f2033cb262f310f1a82e53ca1d2124f2389bb37e (commit)
      from  94af8aa3e20e429cb3b08c9bbcc10139d4da214f (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=7be65a21a915be94588fb8d614673d75e7f704a1

commit 7be65a21a915be94588fb8d614673d75e7f704a1
Merge: 94af8aa bcaf861
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Jan 28 07:40:49 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog                | 10 ++++++++++
 custom.h                 | 20 +++++++++++++++-----
 gettext.h                |  2 +-
 support/ChangeLog        |  5 +++++
 support/regex_internal.h | 17 ++++++++++++++++-
 5 files changed, 47 insertions(+), 7 deletions(-)


hooks/post-receive
-- 
gawk