[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#35867] [PATCH] doc: Update default value of terminal-outputs.
|
From: |
Jakob L. Kreuze |
|
Subject: |
[bug#35867] [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
- [bug#35867] [PATCH] doc: Update default value of terminal-outputs.,
Jakob L. Kreuze <=