On 2011-05-13 07:24, Tom Boothby wrote: > Bottom line: I think this was handled wrong. If a ticket's been > merged, unless it's found to have a genuine flaw, it should supersede > (IMO) tickets with positive reviews which have not been merged. In this case, the *author* of those tickets decided to change the already-merged #10804 as opposed to the not-yet-merged #10549. I think listening to the author (Robert Miller) was the right thing to do here.
Also, since sage-4.7.1.alpha0 has not been released, the "merged" is a "weak merged" which can still change. Jeroen. -- 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
