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. Rémy --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
