[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4240-g711d773

[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  711d7738d88c8ebbc64427f6752cf72cb389f4eb (commit)
       via  991f2429a2319d355ee00586e4033f53dcc1b12d (commit)
       via  0ce140454c7f60362f93dbf12928adcceadf9f76 (commit)
       via  063e134d439a80a26c2fb8ba08cc319e912e7d0c (commit)
      from  2935e08e4697cb2af12221d9a04eaa4d862b4296 (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=711d7738d88c8ebbc64427f6752cf72cb389f4eb

commit 711d7738d88c8ebbc64427f6752cf72cb389f4eb
Merge: 2935e08 991f242
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Jun 6 20:24:36 2019 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog          |  4 ++++
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 38 ++++++++++++++++++++++----------------
 main.c             |  2 +-
 4 files changed, 31 insertions(+), 17 deletions(-)


hooks/post-receive
-- 
gawk