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

[Stefan Kangas]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> I have no reason to believe that there's a non-negligible number of
> users out there in the wild using fast-lock or lazy-lock, so whether we
> ignore such settings or signal an error for them probably won't make much
> difference either way.  I guess the nicer way is to ignore the setting
> but emit a message, if you really care.

Okay, so maybe it's not worth doing anything about it.

Best regards,
Stefan Kangas