[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3167-g3ef0dc7

[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  3ef0dc78fb7d7113bcb360b721952c61236d678c (commit)
       via  93d77e2de93b01e9d2681f31fe11b329dcafebdf (commit)
       via  dd8218e4c1f48c0e40fe1d8afa3f6f90e0fbab69 (commit)
      from  af61c1525fc7a3379979889fc97c82e812907cf2 (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:
 doc/ChangeLog    |   2 +
 doc/gawk.info    | 908 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi    |   8 +-
 doc/gawktexi.in  |   8 +-
 test/ChangeLog   |   5 +
 test/Makefile.am |  27 +-
 test/Makefile.in |  27 +-
 7 files changed, 497 insertions(+), 488 deletions(-)


hooks/post-receive
-- 
gawk