[SCM] gawk branch, master, updated. gawk-4.1.0-4723-gfee5df67

[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, master has been updated
       via  fee5df67602b4194d1fdddbfd6b9446b292f136f (commit)
       via  399cb8580cd4b86883fc8e1910c6ced49b942e17 (commit)
      from  c4e2e18f598379ad7d8f93208042ddbdaaf4335e (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 | 57 +++++++++++++++++++++++++++++++++++++++++++-----------
 2 files changed, 50 insertions(+), 11 deletions(-)


hooks/post-receive
-- 
gawk