[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-3544-g707b9a0

[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  707b9a0762f7b490a70225a87dd1c373b9a7df37 (commit)
       via  4a3706dc8e493a45cf5f72e914bed0a6df2192fd (commit)
       via  417bd669847337ac896292d1ab80da08c215131f (commit)
       via  3422827627ac4ca905aed5d0dc756217aef18998 (commit)
       via  546f04597d482a793134bb7a7b2166bc9ba2aef4 (commit)
       via  cbff585829675b28c2c757777f60470d0ba92d7a (commit)
      from  cbe4845e513423e44d8a50bdeec4d073b571f611 (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=707b9a0762f7b490a70225a87dd1c373b9a7df37

commit 707b9a0762f7b490a70225a87dd1c373b9a7df37
Merge: cbe4845 4a3706d
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Aug 24 11:58:21 2018 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog                      |    5 +
 NEWS                           |    4 +
 config.sub                     |  438 +++++++-------
 doc/ChangeLog                  |    6 +
 doc/gawk.info                  | 1252 +++++++++++++++++++---------------------
 doc/gawk.texi                  |   64 +-
 doc/gawktexi.in                |   64 +-
 extension/build-aux/ChangeLog  |    4 +
 extension/build-aux/config.sub |  438 +++++++-------
 missing_d/ChangeLog            |    4 +
 missing_d/mktime.c.old         |  425 --------------
 11 files changed, 1101 insertions(+), 1603 deletions(-)
 delete mode 100644 missing_d/mktime.c.old


hooks/post-receive
-- 
gawk