[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#23085: 24.5; `customized-changed-options`
|
From: |
Lars Ingebrigtsen |
|
Subject: |
bug#23085: 24.5; `customized-changed-options` |
|
Date: |
Tue, 09 Feb 2021 08:20:34 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
>> Definitely; I plumb forgot. (But Eli seems to think the change should
>> be reverted
>
> No, ignore me on that one: I thought the change was in the opposite
> direction.
OK, I've now finished up the change.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no