[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4083-g4d5217e

[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  4d5217ed521d3ee635fb2062f8f6178a352aa87a (commit)
       via  b878ecd5d8ff1587adb72187187a40945c87b233 (commit)
       via  fb0b9cacebb6dcbbd09bdc491156bf4bd0d2022e (commit)
       via  1340f7150451f6b1d61b701c973fc0e3ba7f36da (commit)
      from  8cc095a5958b430cef90aff4d57963e4875a8fda (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=4d5217ed521d3ee635fb2062f8f6178a352aa87a

commit 4d5217ed521d3ee635fb2062f8f6178a352aa87a
Merge: 8cc095a b878ecd
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Feb 4 21:14:35 2019 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog      |   7 +
 NEWS           | 477 +--------------------------------------------------------
 NEWS => NEWS.1 |  44 +-----
 doc/ChangeLog  |   4 +
 doc/gawk.1     |   6 +-
 ext.c          |  38 ++---
 pc/ChangeLog   |   8 +
 pc/config.sed  |   8 +-
 pc/gawkmisc.pc |  15 ++
 9 files changed, 64 insertions(+), 543 deletions(-)
 copy NEWS => NEWS.1 (91%)


hooks/post-receive
-- 
gawk