[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3833-g4f59334

[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  4f593346798241eea8f1352b23c1548d5769dd6f (commit)
       via  407990ecccabeffc152c2e7f270b359b3efdd81e (commit)
       via  4a6b14b777a1738848b8048f1c8f4a0e528bb6b2 (commit)
       via  48df540537a97c90c408fc614d3b11d11abbab27 (commit)
       via  ae1139c068702ede2d35002bdd14199a2c9eb4d8 (commit)
      from  e1dde45faec0ad4749cc76d3021a56bb6d3916c1 (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=4f593346798241eea8f1352b23c1548d5769dd6f

commit 4f593346798241eea8f1352b23c1548d5769dd6f
Merge: e1dde45 407990e
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Jul 9 22:08:27 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 ChangeLog          | 12 ++++++++++++
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 44 ++++++++++++++++++++++++++++----------------
 gawkapi.h          | 13 ++++++++-----
 4 files changed, 52 insertions(+), 21 deletions(-)


hooks/post-receive
-- 
gawk