[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44598: [PATCH] Do not show obsolete options in customize
|
From: |
Eli Zaretskii |
|
Subject: |
bug#44598: [PATCH] Do not show obsolete options in customize |
|
Date: |
Sat, 14 Nov 2020 16:22:43 +0200 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Fri, 13 Nov 2020 09:10:52 -0800
> Cc: 44598@debbugs.gnu.org
>
> +** Customize
> +
> +*** Most customize commands now hides obsolete user options.
^^^^^
"hide", plural.
Otherwise, LGTM, thanks.
- bug#44598: [PATCH] Do not show obsolete options in customize, (continued)