On 2016-08-23 11:06:22 -0700, Kevin J. McCarthy wrote: > I think even keeping a $locale alias is still better with the changes > made. $locale no longer affects the index or various other output, so > even goofed-up, it causes much fewer problems. Perhaps we could create > the alias but not document it. Or document it but mark it as > deprecated, and delete it in e.g. 1.9.
It would be bad to keep it if it no longer has the same behavior. An error due to the fact that the variable no longer exists is better than a silent change of the behavior, which could confuse the user, who may think that something is broken on his system. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
