bug#42331: closed ([PATCH] Replace a line which was accidentally removed.)

[GNU bug Tracking System]

Your message dated Sun, 16 May 2021 01:39:47 +0200
with message-id <f9573e0a-f690-acd0-c3b1-e1a9edd97dc2@gmail.com>
and subject line [PATCH] Replace a line which was accidentally removed.
has caused the debbugs.gnu.org bug report #42331,
regarding [PATCH] Replace a line which was accidentally removed.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
42331: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42331
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Replace a line which was accidentally removed.
>
>
>
>
> Date: 
>
> Sun, 12 Jul 2020 01:22:15 -0400
>
>
>
>
> The line, part of the sentence above it in a comment, was accidentally
> removed in commit b8d7577 "Rationalize include order in C files".
> ---
>  libguile/guile.c | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/libguile/guile.c b/libguile/guile.c
> index fa5fef928..ae592ed22 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
> -- 
> 2.27.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Replace a line which was accidentally removed.
>
>
>
>
> Date: 
>
> Sun, 16 May 2021 01:39:47 +0200
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.10.1
>
>
>
>
> The patch was applied on Jan 17th, 2021.
>
> --
> Taylan
>
>
> --- End Message ---