bug#4706: customize and aliaes

[Stefan Monnier]

>>> Perhaps if new_alias has a 'saved-value property, and base_variable
>>> does not, Fdefvaralias could copy the property to base_variable?
> [...]
>> I think that extending defvaralias this way would be wrong, but I think it
>> would fit just fine in define-obsolete-variable-alias.
> 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?


        Stefan