GNU bug report logs - #45027
[PATCH] doc: Correct spelling of 'discover?' .

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 45027 in the body.
You can then email your comments to 45027 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Maxime Devos <maxime.devos <at> student.kuleuven.be>
To: guix-patches <at> gnu.org
Subject: [PATCH] doc: Correct spelling of 'discover?' .
Date: Thu, 03 Dec 2020 20:23:09 +0100

[Message part 1 (text/plain, inline)]

* doc/guix.texi (Base Services): Correct spelling of 'discover?'.
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 80185e0731..1493c68e27 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -15111,7 +15111,7 @@ disables the timeout.
 The type of compression used for build logs---one of @code{gzip},
 @code{bzip2}, or @code{none}.
 
-@item @code{discover} (default: @code{#f})
+@item @code{discover?} (default: @code{#f})
 Whether to discover substitute servers on the local network using mDNS
 and DNS-SD.
 

[signature.asc (application/pgp-signature, inline)]

Message #10 received at 45027-done <at> debbugs.gnu.org (full text, mbox):

From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Maxime Devos <maxime.devos <at> student.kuleuven.be>
Cc: 45027-done <at> debbugs.gnu.org
Subject: Re: [bug#45027] [PATCH] doc: Correct spelling of 'discover?' .
Date: Thu, 03 Dec 2020 20:34:38 +0100

Hey,

> * doc/guix.texi (Base Services): Correct spelling of 'discover?'.

Pushed, thanks!

Mathieu

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.