Apologies for the server yo-yo-ing. I'm trying to debug what's going on here.
On Fri, Jun 17, 2016 at 3:32 PM, Ralf Stephan <gtrw...@gmail.com> wrote: > #17790 ticket description change does not work either, so no simple rules > there. > > On Fri, Jun 17, 2016 at 1:52 PM Jeroen Demeyer <jdeme...@cage.ugent.be> > wrote: >> >> On 2016-06-16 09:09, Jeroen Demeyer wrote: >> > On 2016-06-16 00:05, William Stein wrote: >> >> I have also rebooted the live actual trac.sagemath.org server now. >> >> Hopefully this will make it faster... >> > >> > It still doesn't work. I am not able to change the description of ticket >> > #20686 for example. >> >> For what it's worth: it really seems to depend on the ticket number. >> Most tickets work without problems, but #20686 for example is still >> broken. >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/XMvRoZvEVIQ/unsubscribe. >> To unsubscribe from this group and all its topics, 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. -- 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.
