Subject: bug#45027: closed (Re: [bug#45027] [PATCH] doc: Correct spelling of 'discover?' .)

From: [email-masked] (GNU bug Tracking System)
Date: Thu, 03 Dec 2020 19:35:02 +0000

Your bug report

#45027: [PATCH] doc: Correct spelling of 'discover?' .

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
45027: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=45027
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#45027] [PATCH] doc: Correct spelling of 'discover?' .
From: Mathieu Othacehe <[email-masked]>
To: Maxime Devos <[email-masked]>
Cc: [email-masked]
Date: Thu, 03 Dec 2020 20:34:38 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hey,

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

Pushed, thanks!

Mathieu

Subject: [PATCH] doc: Correct spelling of 'discover?' .
From: Maxime Devos <[email-masked]>
To: [email-masked]
Date: Thu, 03 Dec 2020 20:23:09 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

* 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.