Re: autoload cookies for defcustoms

[Stefan Monnier]

>> And there's no compatible way to get from here to there (eg you cannot
>> mark an autoload obsolete, not that anyone would notice anyway).
> Why not? Assuming you could, you could mark all autoloads as obsolete,
> this would present a warning to users on startup, and a couple years
> later you could remove the autoloads.

The question is: how could we detect the situation where a warning
is needed?


        Stefan