[SCM] gawk branch, master, updated. gawk-4.1.0-4936-gebf5e417

[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  ebf5e4175f2450d974039a565fa8e56fb8b7e8a5 (commit)
       via  35bb96b3a0d5e777714acc691e73e4c89c5920a3 (commit)
       via  7bff4e220997aa273323bfcdd7db0ca65e72afd7 (commit)
       via  293f1b6fd28c913bc873adc5128b9e24083ca77f (commit)
       via  9fbb046b4c8f10b22b3277e7de89a54b71f279eb (commit)
      from  d434cb3ce61e0cc5e26180da914f1a58223897a2 (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   |  8 ++++++++
 doc/it/gawktexi.in | 16 ++++++++++++----
 2 files changed, 20 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk