Hi, > > Compiler bug. Agreed. Thus, I'm going to apply the library patch, release branch too, seems safe, even if I don't think the compiler bug is likely to be fixed in the branch too... Jason let me know if you want a Bugzilla or the issue is basically known.
Paolo
