[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4390-g5420004

[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  54200048a48ddc9b2f84a255f928c6bba927448b (commit)
       via  d0b68138521e670178068999dc308ce5beace7ef (commit)
       via  3611609a48ea18cebb51a195bc32f7dbb7209d6e (commit)
       via  ca715d7d87dc4ab351af07fc9eac0e848866f6a7 (commit)
      from  115c05ddac6b612fd6720a2bb910f3986c81de15 (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=54200048a48ddc9b2f84a255f928c6bba927448b

commit 54200048a48ddc9b2f84a255f928c6bba927448b
Merge: 115c05d d0b6813
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Jan 1 22:34:33 2020 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 doc/ChangeLog      |   5 +
 doc/gawk.info      | 515 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |  26 ++-
 doc/gawktexi.in    |  26 ++-
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  18 ++
 6 files changed, 337 insertions(+), 257 deletions(-)


hooks/post-receive
-- 
gawk