On Friday, 19 October 2012 17:32:12 UTC+8, Timo Kluck wrote: > > > Op vrijdag 19 oktober 2012 01:30:07 UTC+2 schreef Dima Pasechnik het > volgende: >> >> On Thursday, 18 October 2012 20:01:51 UTC+8, Jeroen Demeyer wrote: >>> >>> On 2012-10-18 11:20, Timo Kluck wrote: >>> > This ticket [1] adds a %prun directive for profiling to the notebook. >>> > The release notes for 5.3 [2] say it has been merged, but in fact it >>> hasn't. >>> That's a bug in the release notes. Nothing has been merged for #5814. >>> >>> at the time of 5.3 release this ticket was closed as invalid. In that >> sense it was "merged" :-) >> > > I see :-) > > Anyway, I just wanted to make sure that whatever happened will not > interfere with this ticket getting reviewed and merged at some point. It > sounds like it won't, right? >
indeed, changing the status of tickets happens relatively often. Although I don't see why you didn't insist on getting your code into sagenb, where it truly belongs, IMHO... > > Timo > -- You received this message because you are subscribed to the Google Groups "sage-devel" 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-devel?hl=en.
