Paolo Carlini <pcarlini@unitus.it> writes: | To be sure we agree on the real issue: the commit for 7744 changed | _nothing_, | for better or worse, in the uglification of names: some __basic_file<char> | members weren't and aren't uglified. I got confused. I'm sorry. -- Gaby