Moin, Mark answered (on 28.01.2026) with >The CDN was fine (it had updated to 10.1.52) but the website was still showing >10.1.50. Sometimes that happens - the website sync trigger doesn't fire for >some reason. A trivial change is usually enough to trigger the sync. I've >>just done that and the download page is showing >10.1.52 now.
Ciao, Andreas -----Ursprüngliche Nachricht----- Von: Christopher Schultz <[email protected]> Gesendet: Dienstag, 7. Juli 2026 23:33 An: [email protected] Betreff: Re: Web site slow to update ********************************************************************** Rémy, On 7/7/26 5:02 PM, Rémy Maucherat wrote: > On Tue, Jul 7, 2026 at 10:55 PM Christopher Schultz > <[email protected]> wrote: >> >> All, >> >> I think a user or to have reported this in the past, but I'm seeing >> it myself, now. >> >> I committed r1935983 to the website repo about 4 hours ago and the >> web site still hasn't updated, so I haven't sent out my release notification. >> >> Is there anything I can do to trigger a refresh? > > My initial small update for 9.0.120 picked up the update. But then I > updated the javadoc, and as always it's not working. It is possible > the big updates are causing problems and then everything else gets > stuck. Interesting. I did indeed commit everything all at once: the docs plus the news update. -chris --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected] This message and any attachments are intended only for the use of the addressee and may contain information that is privileged and confidential. If the reader of the message is not the intended recipient or an authorized representative of the intended recipient, you are hereby notified that any dissemination of this communication is strictly prohibited. If you have received this communication in error, notify the sender immediately by return email and delete the message and any attachments from your system. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
