Thanks for explaining me. 16G seems small, considering the (huge, I think) amount of loads on the patchbot.
Kwankyu -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
