[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3861-gb89bb5f

[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, feature/better-index has been updated
       via  b89bb5f708c777216e0517f71f34fda6c8384fd7 (commit)
       via  98e500ff3ceb035d9d42acf25aa365940cf47568 (commit)
       via  c7c3998ed9d96b61d03c675b2105ca5da77b9bfd (commit)
       via  28403d5a053d80a06bf94b57e1008ea628a12b1f (commit)
      from  de1841d26dc01ee7b98ebbb9fd1057bb622bea53 (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=b89bb5f708c777216e0517f71f34fda6c8384fd7

commit b89bb5f708c777216e0517f71f34fda6c8384fd7
Merge: de1841d 98e500f
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Aug 15 21:42:23 2019 +0300

    Merge branch 'master' into feature/better-index


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

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