Hi, A couple of simple developer questions. Sorry...
(1) I uploaded a new patch of the same name with the previous patch, but the patchbot doesn't seem to be triggered. I already tried "?kick", with no help. Is there other way to kick the patchbot? Do I need to upload the same patch with other name? (2) A patch passes all tests on both Mac and Ubuntu on my own machine, but it fails on Ubuntu on the patchbot. How should I interpret this situation? Thanks a ton! Kwankyu -- 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