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