[SCM] gawk branch, feature/fix-mpfr-and-pma, updated. gawk-4.1.0-4827-g15a9bb74

[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/fix-mpfr-and-pma has been updated
       via  15a9bb74868fdb8def1df9840b296d8dae8dde87 (commit)
       via  ee1c66081e6db5760cf1994590ec4e1a936bcd87 (commit)
       via  39bc79de57de452b916d1d9598c726974b0008d2 (commit)
       via  5ac195b409ac01287c92f6336abc19966502589a (commit)
       via  46786198e0638ac63f8b0ac914ad03a95e4e5461 (commit)
       via  e709eb829448ce040087a3fc5481db6bfcaae212 (commit)
       via  e6aa63dc9292da6d94e6c706ee0a63b8506642d8 (commit)
       via  fae1232961578b519d253283790d9e339ebffd9f (commit)
       via  381d737cbf4e68586111a9ded7854602b5603c44 (commit)
      from  d6ddf6b1abe98f2d39d758adc82a1fa474832dc0 (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=15a9bb74868fdb8def1df9840b296d8dae8dde87

commit 15a9bb74868fdb8def1df9840b296d8dae8dde87
Merge: d6ddf6b1 ee1c6608
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 3 20:56:42 2022 +0300

    Merge branch 'master' into feature/fix-mpfr-and-pma


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

Summary of changes:
 ChangeLog                 |   6 +
 README_d/ChangeLog        |   8 +
 README_d/README.pc        | 109 +++-------
 builtin.c                 |   5 +-
 doc/ChangeLog             |   9 +
 doc/gawk.info             | 501 +++++++++++++++++++++++-----------------------
 doc/gawk.texi             |  14 +-
 doc/gawktexi.in           |  14 +-
 helpers/ChangeLog         |   4 +
 helpers/update-support.sh |   5 +
 support/ChangeLog         |   4 +
 support/pma.c             |   8 +-
 support/pma.h             |   2 +-
 13 files changed, 338 insertions(+), 351 deletions(-)


hooks/post-receive
-- 
gawk