[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-2462-g947dfae

[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  947dfae8571472b6e78aecad8da024f1f65e5bf5 (commit)
      from  6de370d832e5145ed6a4cb05099f51192773a4b1 (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         | 4 ++++
 doc/Makefile.am       | 2 +-
 doc/Makefile.in       | 2 +-
 doc/gawkworkflow.texi | 4 ++--
 doc/wordlist2         | 2 ++
 5 files changed, 10 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk