[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3783-g6e73114

[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  6e73114fd948ed9764a8447866bc17d387b518b4 (commit)
       via  4b31ecec7846e64148ce5868152232d5ba59aa25 (commit)
       via  0d6254e250560c027116defc11ffdee410bc683f (commit)
      from  6876fefcfacd45f85260b424f91ff4a02a5ae39b (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=6e73114fd948ed9764a8447866bc17d387b518b4

commit 6e73114fd948ed9764a8447866bc17d387b518b4
Merge: 6876fef 4b31ece
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Jun 2 21:56:35 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 ChangeLog |   5 +
 NEWS      |   4 +-
 awkgram.c | 811 +++++++++++++++++++++++++++++++-------------------------------
 command.c | 319 ++++++++++++------------
 4 files changed, 576 insertions(+), 563 deletions(-)


hooks/post-receive
-- 
gawk