[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3773-g39f9e68

[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  39f9e68cb1e87f239a2b3e8976db80c4156edf01 (commit)
       via  d53cdebbadffcfdde43dfeb3ddb4a61975fc608c (commit)
       via  63dafc1ea7696ea3383f970fc7eabc5f939b56ae (commit)
      from  76c49b52d34e0bed9057edcf5c42870be8ab47fe (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=39f9e68cb1e87f239a2b3e8976db80c4156edf01

commit 39f9e68cb1e87f239a2b3e8976db80c4156edf01
Merge: 76c49b5 d53cdeb
Author: Arnold D. Robbins <address@hidden>
Date:   Mon May 13 22:07:47 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 19 ++++++++++++++-----
 2 files changed, 18 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gawk