[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3855-g5caf3e7

[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  5caf3e7443a11bf90cd8220ab063ce6ddbd56b77 (commit)
       via  98e500ff3ceb035d9d42acf25aa365940cf47568 (commit)
       via  c7c3998ed9d96b61d03c675b2105ca5da77b9bfd (commit)
       via  28403d5a053d80a06bf94b57e1008ea628a12b1f (commit)
      from  00b89da94c7f95c635314ddfd88b5bc937f11685 (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=5caf3e7443a11bf90cd8220ab063ce6ddbd56b77

commit 5caf3e7443a11bf90cd8220ab063ce6ddbd56b77
Merge: 00b89da 98e500f
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Aug 15 21:42:04 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          | 22 ++++++++++++++++++++++
 awkgram.c          |  6 ------
 awkgram.y          |  6 ------
 builtin.c          |  7 ++-----
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 10 ++++++++++
 re.c               | 32 ++++++++++++++++++++------------
 7 files changed, 58 insertions(+), 29 deletions(-)


hooks/post-receive
-- 
gawk