On Friday, November 30, 2012 1:21:13 PM UTC-5, KnS wrote: > > This is trac #13780 now. Thanks Philipp for reporting here. (I'll submit a > patch now; but, I am ccing to the sage-devel to ask if issues that are so > trivial to fix but still can be considered major, deserve a separate > ticket). >
Everything deserves a ticket. Sometimes you can combine them. But everything gets a ticket. If it's trivial, "priority trivial" :) -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support?hl=en.
