BROADCAST MESSAGE

[Frédéric Chapoton]

Dear Sage developers,

in order to try to fix the recent upgrade, the trac web server will be turned off this saturday 03/09/2022, from 7.00 (Paris time) to 23:00 (Paris time ; https://time.is/Paris).

PLEASE take again a short break and resume using trac next week!

Sorry for the inconvience, and thanks for your patience.

Frédéric

[kcrisman]

And let's all broadcast a hearty thanks to the many people working hard to figure out what's going on and keep Sage development going!!!

[Kwankyu Lee]

Trac is now in version 1.2. Thanks!

[Frédéric Chapoton]

Trac 1.2 comes with various changes, including display of full names and internationalisation. You may want to look in your user preferences to customize some of these if you prefer.

[Eric Gourgoulhon]

Thank you so much Frédéric at al. for all the work in setting up the new Trac!

Eric.

[Travis Scrimshaw]

Thank you to everyone who has worked on getting this fixed and working again. A big special thanks to Frédéric for taking point (or at least willing to do the public relations).

Best,

Travis

[John H Palmieri]

Let me echo everyone's thanks to the people who worked/are working on the upgrade.

A question: I don't see a way to edit my comments on trac tickets. Is that feature gone? (If it is, I don't mind, I just want to make sure I'm not missing something obvious.)

--

John

[Frédéric Chapoton]

I can still modify the comments. It may be a matter of permissions. If somebody else confirms, one will have to check.

[Eric Gourgoulhon]

Le jeudi 8 septembre 2022 à 09:03:53 UTC+2, Frédéric Chapoton a écrit :

I can still modify the comments. It may be a matter of permissions. If somebody else confirms, one will have to check.

I've just checked that I'm still able to edit my comments.

Eric. 

[John H Palmieri]

Now I can. I wasn't seeing the "edit" pop-up before. I don't know if i was just not seeing it or if it actually wasn't there, but I see it now. Sorry for the noise.