[debbugs-tracker] bug#35867: closed ([PATCH] doc: Update default value of terminal-outputs.)

[GNU bug Tracking System]

Your message dated Mon, 27 May 2019 16:45:51 +0200
with message-id <address@hidden>
and subject line Re: [bug#35867] [PATCH] doc: Update default value of 
terminal-outputs.
has caused the debbugs.gnu.org bug report #35867,
regarding [PATCH] doc: Update default value of terminal-outputs.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] doc: Update default value of terminal-outputs. Date: Thu, 23 May 2019 10:48:54 -0400 User-agent: Mutt/1.10.1 (2018-07-13)

This morning I noticed a minor inconsistency between the apparent
default value of `terminal-outputs' in the documentation and the actual
default value in gnu/bootloader.scm. Should be a list of symbols.

Regards,
Jakob

0001-doc-Update-default-value-of-terminal-outputs.patch
Description: Text Data

signature.asc
Description: Digital signature

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#35867] [PATCH] doc: Update default value of terminal-outputs.
>
>
>
>
> Date: 
>
> Mon, 27 May 2019 16:45:51 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux)
>
>
>
>
> Hi Jakob,
>
> "Jakob L. Kreuze" <address@hidden> skribis:
>
> > This morning I noticed a minor inconsistency between the apparent
> > default value of `terminal-outputs' in the documentation and the actual
> > default value in gnu/bootloader.scm. Should be a list of symbols.
>
> Good catch!
>
> > From ccc4847cbe70a54b6b41e5fb847d2ffb62e26be5 Mon Sep 17 00:00:00 2001
> > From: "Jakob L. Kreuze" <address@hidden>
> > Date: Thu, 23 May 2019 10:39:52 -0400
> > Subject: [PATCH] doc: Update default value of terminal-outputs.
> >
> > * doc/guix.texi: (terminal-outputs) Update default value.
> > * po/doc/guix-manual.de.po: (terminal-outputs) Update default value.
> > * po/doc/guix-manual.es.po: (terminal-outputs) Update default value.
> > * po/doc/guix-manual.fr.po: (terminal-outputs) Update default value.
> > * po/doc/guix-manual.zh_CN.po: (terminal-outputs) Update default value.
>
> I applied it, excluding the .po file bits since those are managed at the
> Translation Project.
>
> Thanks,
> Ludo’.
>
>
> --- End Message ---