On Tue, 2 Jan 2024 14:10:10 GMT, Guoxiong Li <g...@openjdk.org> wrote:
> > The html file also needs to be regenerated. Let me know if you need help > > with that. > > Yes indeed. Thanks. Pushed regenerated html here: https://github.com/erikj79/jdk/commit/693c31426a1aa6d0976553980c27e67f44e8f53f ------------- PR Comment: https://git.openjdk.org/jdk/pull/17208#issuecomment-1874088325
