[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3780-g6876fef

[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  6876fefcfacd45f85260b424f91ff4a02a5ae39b (commit)
       via  c8c9c01674d553330070900e30c0aeb2f13d47ea (commit)
       via  eda43a3ab4f08cdcc6badf19a76bcbd95c7d0d0f (commit)
      from  c73d9f3a015ebd61034c9630b1dae52cd18fef54 (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=6876fefcfacd45f85260b424f91ff4a02a5ae39b

commit 6876fefcfacd45f85260b424f91ff4a02a5ae39b
Merge: c73d9f3 c8c9c01
Author: Arnold D. Robbins <address@hidden>
Date:   Sun May 26 21:30:41 2019 +0300

    Merge branch 'master' into feature/better-index


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

Summary of changes:
 po/ChangeLog        |    5 +
 po/LINGUAS          |    1 +
 po/{sv.po => pt.po} | 1888 ++++++++++++++++++++++++---------------------------
 3 files changed, 880 insertions(+), 1014 deletions(-)
 copy po/{sv.po => pt.po} (55%)


hooks/post-receive
-- 
gawk