[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-3484-ga728f32

[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, feature/memory-work has been updated
       via  a728f32698ba9d2933a7f4b86fba70c241236f91 (commit)
       via  eeb3f87fbec2065a3df0fe09de02ac2279414f26 (commit)
       via  120314daf8f9f2c6bb4a6d6a1900e726d63ef1de (commit)
       via  ff9f07bfc8523322873ec75b650b9010092e6d56 (commit)
       via  02e50614358cc5515bc6dc9d4bf7a0566c70a5f9 (commit)
       via  92ba46291f0858a8dc07c0b7065559d82e99571a (commit)
      from  b7fd65f50af6562b4efe995e13fe843716d7f2f6 (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 -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=a728f32698ba9d2933a7f4b86fba70c241236f91

commit a728f32698ba9d2933a7f4b86fba70c241236f91
Merge: b7fd65f eeb3f87
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Jun 27 21:25:11 2018 +0300

    Merge branch 'master' into feature/memory-work


-----------------------------------------------------------------------

Summary of changes:
 ChangeLog                        |   4 ++
 config.guess                     |   6 +-
 config.sub                       | 132 +++++++++++++++++----------------------
 doc/ChangeLog                    |   6 +-
 doc/texinfo.tex                  |   5 +-
 extension/build-aux/ChangeLog    |   4 ++
 extension/build-aux/config.guess |   6 +-
 extension/build-aux/config.sub   | 132 +++++++++++++++++----------------------
 support/ChangeLog                |   5 ++
 support/dfa.c                    |   2 +-
 support/intprops.h               |   2 +-
 support/localeinfo.c             |   2 +-
 support/localeinfo.h             |   2 +-
 support/verify.h                 |   2 +-
 14 files changed, 149 insertions(+), 161 deletions(-)


hooks/post-receive
-- 
gawk