[gawk-diffs] [SCM] gawk branch, feature/namespaces, updated. gawk-4.1.0-2986-g22e0dbb

[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/namespaces has been updated
       via  22e0dbbbb5495f8f535803d88b83af808dfd46bf (commit)
       via  62495dfc7853ccf2a35569000223941a5fe552ba (commit)
       via  7d1b03492eef615e2fbb1f78ce0cf751a364a1dd (commit)
       via  fb44529bfa05b9c05cc2edd49566db1b3a37ca54 (commit)
      from  0f02421ba97796f335d4e7675238477c232f4171 (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=22e0dbbbb5495f8f535803d88b83af808dfd46bf

commit 22e0dbbbb5495f8f535803d88b83af808dfd46bf
Merge: 0f02421 62495df
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Dec 1 14:02:17 2017 +0200

    Merge branch 'master' into feature/namespaces


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

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