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

[GNU bug Tracking System]

Your message dated Thu, 03 Dec 2020 20:34:38 +0100
with message-id <878saefzu9.fsf@gnu.org>
and subject line Re: [bug#45027] [PATCH] doc: Correct spelling of 'discover?' .
has caused the debbugs.gnu.org bug report #45027,
regarding [PATCH] doc: Correct spelling of 'discover?' .
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] doc: Correct spelling of 'discover?' . Date: Thu, 03 Dec 2020 20:23:09 +0100 User-agent: Evolution 3.34.2

* 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
Description: This is a digitally signed message part

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#45027] [PATCH] doc: Correct spelling of 'discover?' .
>
>
>
>
> Date: 
>
> Thu, 03 Dec 2020 20:34:38 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
>
>
>
>
> Hey,
>
> > * doc/guix.texi (Base Services): Correct spelling of 'discover?'.
>
> Pushed, thanks!
>
> Mathieu
>
>
> --- End Message ---