On Tue, 11 Sep 2018, 08:30 John Cremona, <john.crem...@gmail.com> wrote:
> > > On Mon, 10 Sep 2018 at 21:07, Jeroen Demeyer <j.deme...@ugent.be> wrote: > >> On 2018-09-10 21:36, John Cremona wrote: >> > The bug is because of this: >> >> Since you almost fixed this bug, could you actually create a ticket to >> fix it? >> > > Will do.... > > #26239 >> -- >> 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. >> > -- 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.
