[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4210-g09c0d09

[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  09c0d0906c311d16413c56fce7a6db7f1853ee56 (commit)
       via  5fcb16c45d4f282557411479194c61e30d3b63cd (commit)
       via  2a1cc6b172b589d64166c2350d85f512c648a2ca (commit)
       via  323aec85713a8eb95290c3af806eb611c5d61798 (commit)
      from  4c20daefe47cfacb8015ca4bf4feee6926a538f7 (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=09c0d0906c311d16413c56fce7a6db7f1853ee56

commit 09c0d0906c311d16413c56fce7a6db7f1853ee56
Merge: 4c20dae 5fcb16c
Author: Arnold D. Robbins <address@hidden>
Date:   Sun May 5 20:35:20 2019 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog       |   5 +++
 doc/ChangeLog   |   6 +++
 doc/gawk.info   | 132 +++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   8 +++-
 doc/gawktexi.in |   8 +++-
 ext.c           |   2 +-
 6 files changed, 92 insertions(+), 69 deletions(-)


hooks/post-receive
-- 
gawk