[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-2451-g10c17fe

[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, porting has been updated
       via  10c17fe33a10746bd44fc4b62f764ca4c3f3c5a6 (commit)
       via  41915dfdb8cd59fcdf56c8f74b7d6e62448eadfa (commit)
      from  7aeea616b4b0272c130ac45c65e640b3482add24 (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 -----------------------------------------------------------------
-----------------------------------------------------------------------

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