[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3853-gb881935

[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  b881935f23a5acaaa11a32bb9c825f0cbf773b87 (commit)
       via  c5d33ce4a8291a9e6d9690cbf68b108c7584a12b (commit)
       via  4038710d7199a4371736fe6eea95b28ac11f2145 (commit)
      from  91bfdd29f34aae06ce697087a5aeb2b8bb166b57 (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=b881935f23a5acaaa11a32bb9c825f0cbf773b87

commit b881935f23a5acaaa11a32bb9c825f0cbf773b87
Merge: 91bfdd2 c5d33ce
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Aug 7 21:04:04 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 README_d/ChangeLog          |    4 +
 README_d/README.development |   98 ++++
 doc/ChangeLog               |    6 +
 doc/gawk.info               | 1107 ++++++++++++++++++++++---------------------
 doc/gawk.texi               |   50 +-
 doc/gawktexi.in             |   50 +-
 6 files changed, 753 insertions(+), 562 deletions(-)
 create mode 100644 README_d/README.development


hooks/post-receive
-- 
gawk