On Saturday, December 21, 2013 5:25:29 PM UTC+1, Jeroen Demeyer wrote: > > Which system is this? >
Ubuntu 13.10, 64bit. Maybe there is something odd with it, but in general it works well and this shouldn't be an issue. I haven't tested 5.13, but I can try ... Harald -- 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/groups/opt_out.
