Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries

[Stefan Monnier]

> Sorry for not being more clear.  I meant deleting
> font-lock-support-mode: it must be declared obsolete first (which
> would require adding the command proposed by Stefan),

Agreed.

> then, after some obsolescence time, we could delete
> font-lock-support-mode, and then we can delete fast-lock and
> fuzzy-lock.

Disagreed.  I don't see any reason why we should wait for
`font-lock-support-mode` to disappear before we can get rid of those two
packages that have been officially obsoleted for so many years already.


        Stefan