On Sat, 17 May 2025 17:21:01 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote: > Please review this trivial patch to fix a javadoc bug. > > TIA Thanks for the review ------------- PR Comment: https://git.openjdk.org/jdk/pull/25286#issuecomment-2907810545