[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-2497-g02a9089

[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/fix-comments has been updated
       via  02a908967090b5b9388aea273ae9afeaafa35c64 (commit)
       via  10c17fe33a10746bd44fc4b62f764ca4c3f3c5a6 (commit)
       via  41915dfdb8cd59fcdf56c8f74b7d6e62448eadfa (commit)
      from  a766c09e84eca3c990ec42c9b8a2420e4fc05420 (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=02a908967090b5b9388aea273ae9afeaafa35c64

commit 02a908967090b5b9388aea273ae9afeaafa35c64
Merge: a766c09 10c17fe
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Mar 23 21:31:00 2017 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 ChangeLog                      |  4 ++++
 config.sub                     |  7 ++++++-
 extension/build-aux/ChangeLog  |  4 ++++
 extension/build-aux/config.sub |  7 ++++++-
 support/ChangeLog              |  4 ++++
 support/dfa.c                  | 35 ++++++++++++-----------------------
 6 files changed, 36 insertions(+), 25 deletions(-)


hooks/post-receive
-- 
gawk