Re: Unify on encoding

[Eli Zaretskii]

On Mon, 18 Mar 2002, Stefan Monnier wrote:

> Since this user option has not been introduced in any release yet,
> I fail to see why this would be considered as "removing user option".

I'm guessing that quite a few people are using the CVS version nowadays, 
so the option was, in a certain sense, ``released''.  But you are right 
that it's less grave than if it were present in a released version.

> Instead I think it's a mistake to introduce this new user option since
> there's no reason to ever turn off the feature.

I think we don't know yet if there is a reason to turn that off.