On 2012-02-07 21:08, William Stein wrote: > What I'm suggesting is that the script that auto-adds ticket numbers > should strip the user-added ticket number first, to avoid extensive > duplication. If you send me the magic sed/awk/perl/python/whatever script to do this, I'll happily use it :-)
-- 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