Hi,
thanks Jon. Looks like we have also to fix parallel-mode (49187), I hope there isn't too much to reshuffle, if you spot something...That only shows up if you configure with --enable-libstcxx-timeI'll finish reg-testing it and submit it when I get home this evening.
Thanks again, Paolo.