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? 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.
