Hellooooooooo ! > Ok, done.
Thaaaaaaaanks !!! > I wanted to proceed with #15285, but I don't know how. It seems that I must first merge #15107 into the develop branch, then merge that thing into this ticket, to see what this ticket does relative to the other one... right? Oh. Well, actually this patch "does not really" depend on the previous one. Anyway. #15285 does not contain all of #15107's commits, so I will merge it with this updated version. Aaaaaand I will also merge it with beta4. Actually, I just did. Patch updated. No problm with the new dependencies :-) Nathann -- 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.
