[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3790-gfcd3a99

[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  fcd3a998082c7f7eb0dacd2bdaeab95dfcf24f2c (commit)
       via  991f2429a2319d355ee00586e4033f53dcc1b12d (commit)
       via  0ce140454c7f60362f93dbf12928adcceadf9f76 (commit)
       via  063e134d439a80a26c2fb8ba08cc319e912e7d0c (commit)
      from  d33d334b59ce150a3fea35f10852f3c68616e5cc (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=fcd3a998082c7f7eb0dacd2bdaeab95dfcf24f2c

commit fcd3a998082c7f7eb0dacd2bdaeab95dfcf24f2c
Merge: d33d334 991f242
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Jun 6 20:24:15 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 ChangeLog          |  4 ++++
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 38 ++++++++++++++++++++++----------------
 main.c             |  2 +-
 4 files changed, 31 insertions(+), 17 deletions(-)


hooks/post-receive
-- 
gawk