[SCM] gawk branch, gawk-5.1-stable, updated. gawk-4.1.0-4002-g7c2f984

[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, gawk-5.1-stable has been updated
       via  7c2f9843cbc41b8e6730b671c9594a1ab3ef95f2 (commit)
      from  772a11f4ac0553cf8e9eeb37b3f6aa12ac5581ea (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=7c2f9843cbc41b8e6730b671c9594a1ab3ef95f2

commit 7c2f9843cbc41b8e6730b671c9594a1ab3ef95f2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 28 08:51:45 2020 +0300

    Update in TODO.

diff --git a/TODO b/TODO
index 19414e9..51bb496 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,4 @@
-Fri Jun 12 10:46:43 IDT 2020
+Sun Jun 28 08:49:16 IDT 2020
 ============================
 
 There were too many files tracking different thoughts and ideas for
@@ -27,6 +27,9 @@ Minor Cleanups and Code Improvements
        Fully synchronize whitespace tests (for \s, \S in Unicode
        environment) with those of GNU grep.
 
+       Lint option which would allow extensions and only complain
+       about genuine errors.
+
        Message cleanup:
        * Messages in debug.c start with capital letters, but not in
          other files.

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

Summary of changes:
 TODO | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk