[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44598: [PATCH] Do not show obsolete options in customize
|
From: |
Stefan Kangas |
|
Subject: |
bug#44598: [PATCH] Do not show obsolete options in customize |
|
Date: |
Fri, 20 Nov 2020 05:37:16 -0800 |
tags 44598 fixed
close 44598 28.1
thanks
Eli Zaretskii <eliz@gnu.org> writes:
>> 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.
Fixed.
> Otherwise, LGTM, thanks.
Thanks, pushed to master as commit b4b1bd6e03.
- bug#44598: [PATCH] Do not show obsolete options in customize, (continued)