[SCM] gawk branch, master, updated. gawk-4.1.0-3974-gd5160ca

[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  d5160ca6fe250209102c8c679271bd46b93f3b94 (commit)
       via  c5507da8a8b29bc0f7d4c5f028233cbeee8ded5e (commit)
      from  c2f36795bec8103c8f144f64fb5b6854072de5b5 (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                        |   4 ++
 config.guess                     |   9 ++-
 config.sub                       |   4 +-
 doc/ChangeLog                    |   5 ++
 doc/gawkworkflow.info            | 144 +++++++++++++++++++++------------------
 doc/gawkworkflow.texi            |  35 ++++++----
 doc/texinfo.tex                  |  99 ++++++++++++++++-----------
 extension/build-aux/ChangeLog    |   4 ++
 extension/build-aux/config.guess |   9 ++-
 extension/build-aux/config.sub   |   4 +-
 10 files changed, 190 insertions(+), 127 deletions(-)


hooks/post-receive
-- 
gawk