[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3141-g0e78929

[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  0e78929cf313770e67bd66f7253f72c7feb285c1 (commit)
      from  38df841e6d994c6e296a03cfd1406db74ff97f79 (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/it/ChangeLog   |  4 +++
 doc/it/gawktexi.in | 84 ++++++++++++++++++++++++++++++++++++++++++++++++++++--
 2 files changed, 85 insertions(+), 3 deletions(-)
 mode change 100644 => 100755 doc/it/gawktexi.in


hooks/post-receive
-- 
gawk