On Tuesday, 6 August 2013 at 22:38:58 UTC, bearophile wrote:
Andre Artus:If there is agreement with the new name, or if a better alternative is offered then I will be more than happy to make a comprehensive change.I didn't talk about the strtosomething name, I was referring to everything else you have found, the warnings.Bye, bearophile
Okay. I already changed those in my copy.Just out of interest: what would be an acceptable name to change 'strtold' to?
