[PATCH][libstdc++-v3 parallel mode] Uglification of internal identifiers

[Paolo Carlini]

> I would consider them part of the "interface".  Since they are  
> likely to
> be already used in user programs I would like to not change them.

By 'used' you are referring to the names corresponding to  
configuration details / user-visible options right? I agree that  
changing those now would not be a good idea, would break the ABI in  
the wide sense which are usually trying to use. Besides all those  
unfortunate special cases, however, all the other names should be  
adjusted, per the normal policy.

Thanks,
Paolo