[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3872-gebe6e65

[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  ebe6e653db5c821e2239f7304525d2019fbaa545 (commit)
       via  abc7fc68f8ce227db5a1ce881a8f065577c764dd (commit)
      from  f4593c6fd5efea3bb6b3862913a056e6588d51bf (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=ebe6e653db5c821e2239f7304525d2019fbaa545

commit ebe6e653db5c821e2239f7304525d2019fbaa545
Merge: f4593c6 abc7fc6
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Sep 1 21:31:55 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 NEWS | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk