[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-2792-g31f3aa7

[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  31f3aa72ab0da292f59fc7efe2ee0ca6d24d7a04 (commit)
       via  53da154566a9dd127360ce84987b7378a0183290 (commit)
       via  6f10e610abfc6cdd68147ad817edd50440ed38ab (commit)
      from  8b47ffaa2f17a6a3ad91d89df2b7fa9cc6e291a8 (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=31f3aa72ab0da292f59fc7efe2ee0ca6d24d7a04

commit 31f3aa72ab0da292f59fc7efe2ee0ca6d24d7a04
Merge: 8b47ffa 53da154
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Jun 15 14:16:49 2017 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 awklib/eg/lib/inplace.awk |   2 +-
 doc/ChangeLog             |   4 +
 doc/gawk.info             | 546 +++++++++++++++++++++++-----------------------
 doc/gawk.texi             |   6 +-
 doc/gawktexi.in           |   6 +-
 5 files changed, 284 insertions(+), 280 deletions(-)


hooks/post-receive
-- 
gawk