[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-3431-g26a7d9e

[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/memory-work has been updated
       via  26a7d9e60b54a1713bbeed1bdca481f5ff35101c (commit)
       via  a395c25fa379973b5ca300c4b8b4b4426412882b (commit)
       via  84d5de360049081bb12d4edaf2377dcccfa5ad95 (commit)
       via  650d092e3a44122768055580009190953fba7f68 (commit)
      from  25ab54bf69b78d56cf121fa373a85d513180b1b2 (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=26a7d9e60b54a1713bbeed1bdca481f5ff35101c

commit 26a7d9e60b54a1713bbeed1bdca481f5ff35101c
Merge: 25ab54b a395c25
Author: Arnold D. Robbins <address@hidden>
Date:   Sun May 13 22:36:55 2018 -0400

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog                      |   4 +
 config.sub                     |  74 +++--
 doc/ChangeLog                  |   7 +-
 doc/gawk.info                  | 630 ++++++++++++++++++++---------------------
 doc/gawk.texi                  |   2 +-
 doc/gawktexi.in                |   2 +-
 extension/build-aux/ChangeLog  |   4 +
 extension/build-aux/config.sub |  74 +++--
 8 files changed, 429 insertions(+), 368 deletions(-)


hooks/post-receive
-- 
gawk