[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3878-gcccdba8

[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  cccdba8946c17d74ca920d1c0bf0394cccc91ab9 (commit)
       via  abc7fc68f8ce227db5a1ce881a8f065577c764dd (commit)
      from  b36bc3839132d425b77bc0c29585fc399e722e4e (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=cccdba8946c17d74ca920d1c0bf0394cccc91ab9

commit cccdba8946c17d74ca920d1c0bf0394cccc91ab9
Merge: b36bc38 abc7fc6
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Sep 1 21:32:13 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 NEWS | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk