[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-144-g4a7dc37

[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, gawk-4.1-stable has been updated
       via  4a7dc37ea7122759469ee93eae9dadea455d658b (commit)
       via  815ad7a1d9e47b50b26fd89c362a99598fa45c1c (commit)
       via  80a38c12d2b9f217639552a6163b4232a8329d60 (commit)
       via  23242aad7725855bcfd9ede006713538ac393fbd (commit)
       via  0d625fc05924245fbfa092e0f80302f981b6b44a (commit)
       via  65b5afc0027911abc041cfbe625ad6bd9f967ccd (commit)
      from  6b76f3d292993fe2a15a515d078726cd68fd78d8 (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                        |    7 +
 NEWS                             |    6 +-
 config.guess                     |    6 +-
 config.rpath                     |  106 ++--
 config.sub                       |   70 +-
 depcomp                          |  433 ++++++------
 dfa.c                            |    4 +-
 dfa.h                            |    2 +-
 doc/ChangeLog                    |    5 +
 doc/gawk.info                    | 1086 ++++++++++++++--------------
 doc/gawk.texi                    |   22 +-
 doc/gawktexi.in                  |   22 +-
 extension/build-aux/ChangeLog    |    5 +
 extension/build-aux/config.guess |    6 +-
 extension/build-aux/config.rpath |  106 ++--
 extension/build-aux/config.sub   |   99 ++--
 extension/build-aux/depcomp      |  442 ++++++------
 extension/build-aux/install-sh   |  337 ++++-----
 install-sh                       |  337 ++++-----
 po/fi.gmo                        |  Bin 45006 -> 84089 bytes
 po/fi.po                         | 1475 +++++++++++++++++---------------------
 21 files changed, 2186 insertions(+), 2390 deletions(-)


hooks/post-receive
-- 
gawk