[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3192-ga7c32b5

[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  a7c32b55995136013af2bff2a0fe4d6c69678cb7 (commit)
       via  f6a89a9b3ecd956e97b61719ea0d634886ace814 (commit)
       via  53175840c18d19259ec11128bdda64cad71ac8dc (commit)
       via  0f509ca515b41544df4a48bc672c8a3af847cbe4 (commit)
      from  82f0a742be462298c0da027bc4fb56ddcb667c02 (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                   |   6 +
 doc/ChangeLog               |   4 +
 doc/gawk.texi               |   2 +-
 doc/gawktexi.in             |   2 +-
 io.c                        |   2 +-
 missing_d/ChangeLog         |   5 +
 missing_d/intprops.h        |   4 +-
 missing_d/mktime-internal.h |  53 ++++++++
 missing_d/mktime.c          |   6 +-
 missing_d/verify.h          |   3 +-
 support/ChangeLog           |   4 +
 support/dfa.c               | 295 +++++++++++++++++++++++++++++++++-----------
 support/intprops.h          |   4 +-
 13 files changed, 305 insertions(+), 85 deletions(-)
 create mode 100644 missing_d/mktime-internal.h


hooks/post-receive
-- 
gawk