Subject: Re: bug#4706: customize and aliaes

From: Stefan Monnier <[email-masked]>
Date: Thu, 15 Oct 2009 22:05:42 -0400

>>> What then to do about non-obsolete aliases to defcustoms?
>> Depends on the intention between the alias, I guess.
>> I mean: why does that variable need more than one non-obsolete name?
> I don't know.
> I can create `define-custom-variable-alias' that DTRT, and replace
> defvaralias with it where appropriate, if you like.

I'd rather wait for bug-reports before doing such a thing.
Then we'll know better what needs to be done,

        Stefan