[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3796-g0c9eb36

[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  0c9eb36227325fd5ef8b43c3064f2b719d6d3e82 (commit)
       via  b79186d9b59c631850013245549f49ac6f40280c (commit)
       via  89515ca89157151478e89b9dfecf26e723db095a (commit)
      from  b09a43ac692df955a88e55b62a53d7f9b25349be (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=0c9eb36227325fd5ef8b43c3064f2b719d6d3e82

commit 0c9eb36227325fd5ef8b43c3064f2b719d6d3e82
Merge: b09a43a b79186d
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Jun 17 09:04:08 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 configure       |  20 ++++++++++----------
 configure.ac    |   2 +-
 pc/Makefile.tst |  35 ++++++++++++++++++++++++++++++-----
 pc/config.h     |   6 +++---
 po/pt.gmo       | Bin 0 -> 86697 bytes
 5 files changed, 44 insertions(+), 19 deletions(-)
 create mode 100644 po/pt.gmo


hooks/post-receive
-- 
gawk