Since https://trac.sagemath.org/ticket/23572 <https://www.google.com/url?q=https%3A%2F%2Ftrac.sagemath.org%2Fticket%2F23572&sa=D&sntz=1&usg=AFQjCNHZGAwNR6wMsSUzuYS10CWqFolkDg> is already at "positive review", we might as well
- crash it into an 8.5.rc2, give it a week for final dusting and release this as 8.5 ; in parallel : - concentrate our limited workforce on https://trac.sagemath.org/ticket/22626 and https://trac.sagemath.org/ticket/26856 *EXCLUSIVELY*, and, if we manage to get this done *cleanly* release this as 8.8 before the Jan 12 deadline. That way, the work done since 8.4 can be kept in any case, an we preserve the possibility of getting Gap 4.10 and its libraries in Debian (as long as the Debian packaging team(s) are able to package them in the limited remaining time). Decision time = date of publication of 8.5. Wich might be Boxing Day (Dec 26) if we manage to delease 8.5tc2 before midnight today ;-]... Volker ? Le mardi 18 décembre 2018 13:55:55 UTC+1, E. Madison Bray a écrit : > > On Tue, Dec 18, 2018 at 12:56 PM Jeroen Demeyer <j.de...@ugent.be > <javascript:>> wrote: > > > > I suggest the following: > > > > If Sage 8.5 is ready to be released right now, I see no reason to delay > > that. Then follow up soon with Sage 8.6. > > > > On the other hand, if Sage 8.5 is going to dragged for other reasons > > anyway, then we might as well try to get GAP-4.10 in this release. > > That sounds reasonable to me. Other than GAP I don't personally have > any reason to delay 8.5 any further (I do think > https://trac.sagemath.org/ticket/23572 should be merged without > further delay and I'm not sure what the hold up is on that, but I > don't think it's a blocker). > -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
