I just realized that my old laptop runs 32 bits. The only problem is that its screen is broken, but I think the network is still properly set up so that I can ssh into it after powering it up without further intervention. If that is the case, I might be able to test the patches tomorrow or on monday.
Cheers, JP -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org