I made distclean and started from scratch, now tests pass. Apparently, something went wrong with the copying. I'll report as soon as the tests are finished and patchbot is running...
Thanks, Martin -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
