[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4032-gb3e9386

[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  b3e9386d429741948f76a2ec8c35ead8873c0674 (commit)
       via  6f16c4f468e6f3a6769509e1e70ff2dc4873e8d2 (commit)
       via  fe85aef5cc3e31450c6850c996aa348a68c42ca7 (commit)
       via  63a31bee666a9bf9e37eda447f7742b07917dc74 (commit)
       via  99e184df5e808dd4de24b3e41c724bf9b00b9bb4 (commit)
       via  5ba504111dee165e033b3a9087c13ffca2b30302 (commit)
      from  0c9bbaef577aec84c8cfa8679034b093e1f3b4ab (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=b3e9386d429741948f76a2ec8c35ead8873c0674

commit b3e9386d429741948f76a2ec8c35ead8873c0674
Merge: 0c9bbae 6f16c4f
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Jan 14 21:30:32 2019 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog       |   11 +
 builtin.c       |   10 +-
 doc/ChangeLog   |    9 +
 doc/gawk.info   | 1173 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   57 ++-
 doc/gawktexi.in |   54 ++-
 mpfr.c          |    4 +-
 7 files changed, 699 insertions(+), 619 deletions(-)


hooks/post-receive
-- 
gawk