On Sun, 5 Dec 1999, T.E.Dickey wrote:

> > It should revert to the old default, in my opinion. 
> that's my opinion also - but I wanted to see how the discussion goes
> 
> (after all, for all _I_ know, everyone else is overriding that setting ;-)
>[...] 

 I also think that old value should be used.

 Best regards,
  -Vlad

Reply via email to