[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3813-g753dd0b

[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  753dd0b0520b70f6743b851997a0b68503b34231 (commit)
       via  b19cc5185fbb54d8893d84bf7b29192069935813 (commit)
       via  1ed524af04eac4e709f43cda8a564734d733ae12 (commit)
       via  794b65d03c7274845badba291160f261fa2abf9e (commit)
       via  5f6d079dd752b25f29a37a34939951431c8ee43b (commit)
       via  70fcfb0c2e0e0e8a97a885aaa7266f8abeafec0c (commit)
       via  6c914d2dc22598cf1735088237f6fc165e9958f6 (commit)
      from  6014175606d69108f3f2d0401e2876c5bf3314bd (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=753dd0b0520b70f6743b851997a0b68503b34231

commit 753dd0b0520b70f6743b851997a0b68503b34231
Merge: 6014175 b19cc51
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jun 21 11:54:46 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 ChangeLog                        |  11 +-
 NEWS                             |   2 +-
 README.git                       |   3 +-
 awkgram.c                        |   1 +
 awkgram.y                        |   1 +
 config.guess                     |  89 ++--
 config.sub                       |   4 +-
 doc/ChangeLog                    |  10 +
 doc/gawk.info                    | 952 +++++++++++++++++++--------------------
 doc/gawk.texi                    |   7 -
 doc/gawktexi.in                  |   7 -
 doc/texinfo.tex                  |  24 +-
 extension/build-aux/ChangeLog    |   4 +
 extension/build-aux/config.guess |  89 ++--
 extension/build-aux/config.sub   |   4 +-
 15 files changed, 629 insertions(+), 579 deletions(-)


hooks/post-receive
-- 
gawk