>... is on gcc-patches, ready for comments: > > http://gcc.gnu.org/ml/gcc-patches/2004-12/msg01998.html > >Paolo. >>Maybe CXXABI_1.3.1 is more appropriate: after all we are only exporting >>an additional symbol, right? Benjamin? Paolo, you are right. Richard, this looks great! thanks for working on this. -benjamin