[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-3165-g5780e4b

[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  5780e4b36a9f6e4e232ab6bf290b96acfba9eff2 (commit)
       via  62495dfc7853ccf2a35569000223941a5fe552ba (commit)
       via  7d1b03492eef615e2fbb1f78ce0cf751a364a1dd (commit)
       via  fb44529bfa05b9c05cc2edd49566db1b3a37ca54 (commit)
      from  b2ffcdc9e475536af2d9e850d5aa1eb049b0328f (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=5780e4b36a9f6e4e232ab6bf290b96acfba9eff2

commit 5780e4b36a9f6e4e232ab6bf290b96acfba9eff2
Merge: b2ffcdc 62495df
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Dec 1 14:02:06 2017 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 support/ChangeLog  | 8 ++++++++
 support/dfa.h      | 4 ----
 support/intprops.h | 8 ++++----
 support/regcomp.c  | 2 +-
 support/regex.c    | 3 ---
 support/regex.h    | 4 ----
 6 files changed, 13 insertions(+), 16 deletions(-)


hooks/post-receive
-- 
gawk