[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-2817-g9842a44

[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  9842a449bf7612c763790c34be7eef39774f63be (commit)
       via  224aa5e7c6c06b99cb7402d7135ee4f926d42acd (commit)
       via  518dcf7c0412adc97b86e14ce87e4841e3624e37 (commit)
       via  17bc0dd5d9ae05d6e9cd1536277fbc4689183a95 (commit)
       via  4f111c357fb2b398aa59926930d807ad56006638 (commit)
      from  8140d635ccee51089aad9a04e9e128e5373377f7 (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          |   5 +
 NEWS               |   3 +-
 builtin.c          |   6 -
 doc/ChangeLog      |  14 ++
 doc/awkcard.in     |   1 -
 doc/gawk.1         |   1 -
 doc/gawk.info      | 712 ++++++++++++++++++++++++++---------------------------
 doc/gawk.texi      |  14 +-
 doc/gawktexi.in    |  14 +-
 doc/it/ChangeLog   |   9 +
 doc/it/gawktexi.in |  13 +-
 test/ChangeLog     |   8 +
 test/forcenum.awk  |  17 +-
 test/forcenum.ok   |   2 +
 14 files changed, 420 insertions(+), 399 deletions(-)
 mode change 100755 => 100644 doc/it/gawktexi.in


hooks/post-receive
-- 
gawk