Yes it is. But it is not in: http://trac.sagemath.org/wiki/TicketReports or http://trac.sagemath.org/report If there is an easy of collecting those tickets please educate me!
François ________________________________________ From: [email protected] [[email protected]] on behalf of Travis Scrimshaw [[email protected]] Sent: Thursday, 26 December 2013 11:43 To: [email protected] Subject: Re: [sage-devel] Reviewing package version updates (in particular, gap) Isn't that what the "packages: *" components are for? On Wednesday, December 25, 2013 10:49:44 AM UTC-8, Jean-Pierre Flori wrote: On Wednesday, December 25, 2013 7:45:05 PM UTC+1, François wrote: Going back to the general subject. Could we have a shortcut on the ticket report page grabbing update/upgrade of packages. Unless the potential reviewer(s) are cc automatically that would any review easier, as in more easy to find. Grep update or upgrade in the ticket title? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out. This email may be confidential and subject to legal privilege, it may not reflect the views of the University of Canterbury, and it is not guaranteed to be virus free. If you are not an intended recipient, please notify the sender immediately and erase all copies of the message and any attachments. Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more information. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
