[Guile-commits] 02/05: Replace a line which was accidentally removed.

[Rob Browning]

rlb pushed a commit to branch master
in repository guile.

commit 7a1cd29637749c5c8eb9ccff4354530ffb62d432
Author: Asher Gordon <AsDaGo at>
AuthorDate: Sun Jul 12 01:22:15 2020 -0400

    Replace a line which was accidentally removed.
    
    The line, part of the sentence above it in a comment, was accidentally
    removed in commit b8d757732fae7c396d58327185f94e5d90846445 "Rationalize
    include order in C files".
    
    * libguile/guile.c: restore missing line.
    
    [rlb@defaultvalue.org: augment commit message; add THANKS]
    
    Closes: 42331
---
 THANKS           | 1 +
 libguile/guile.c | 1 +
 2 files changed, 2 insertions(+)

diff --git a/THANKS b/THANKS
index 77eef91..3d59c50 100644
--- a/THANKS
+++ b/THANKS
@@ -7,6 +7,7 @@ Contributors since the last release:
         Ludovic Courtès
           Jason Earl
            Paul Eggert
+          Asher Gordon
           Brian Gough
          Volker Grabsch
          Julian Graham
diff --git a/libguile/guile.c b/libguile/guile.c
index fa5fef9..ae592ed 100644
--- a/libguile/guile.c
+++ b/libguile/guile.c
@@ -18,6 +18,7 @@
    <https://www.gnu.org/licenses/>.  */
 
 /* This is the 'main' function for the `guile' executable.  It is not
+   included in libguile.a.
 
    Eventually, we hope this file will be automatically generated,
    based on the list of installed, statically linked libraries on the