On 13 Okt., 11:34, leif <not.rea...@online.de> wrote: > - We /may/ add "confirmed" for duplicate/invalid tickets to replace > "positive review", which would IMHO be more appropriate or intuitive.
And / or -- even better -- add "duplicate" to the ticket *types*, instead of (just) using a special milestone for these. -leif -- 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
