bug#40830: closed (doc: fix grammar)

[GNU bug Tracking System]

Your message dated Mon, 27 Apr 2020 18:25:53 +0200
with message-id <20200427162553.pk2ih6fauzgd6sac@gravity>
and subject line Re: doc: fix grammar
has caused the debbugs.gnu.org bug report #40830,
regarding doc: fix grammar
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
40830: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40830
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: doc: fix grammar Date: Fri, 24 Apr 2020 22:43:23 +0200

Someone linked this page on IRC. I noticed a grammar issue. Lets fix it.

0002-Doc-fix-grammar.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: doc: fix grammar Date: Mon, 27 Apr 2020 18:25:53 +0200

On Fri, Apr 24, 2020 at 10:43:23PM +0200, Tom wrote:
> Someone linked this page on IRC. I noticed a grammar issue. Lets fix it.

Thanks for your patch. I fixed up the commit message a bit and pushed
your patch to master:

commit f4f4aa628a171aa5bc40b8e5cd04ed30d36fc2b7 (HEAD -> master)
Author: TomZ <address@hidden>
Date:   Fri Apr 24 22:39:49 2020 +0200

    doc: guix: Fix grammar in "Debugging Build Failures"

    * doc/guix.texi (Debugging Build Failures): Fix grammar.

    Signed-off-by: Jakub Kądziołka <address@hidden>

Cheers!

signature.asc
Description: PGP signature

--- End Message ---