Ah, so it is a bug. Thanks. I should not have included # in the patch file name.
On the other hand, it is strange that the patchbot tries to fetch an old patch file "trac#12503.patch" rather than the new patch file named "trac_12503_v3.patch" though I placed the comment "apply trac_12503_v3.patch" to effect this. 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
