On Wed, 12 Jun 2024 20:58:28 GMT, Viktor Klang <vkl...@openjdk.org> wrote:

> Erronous Javadoc reference addressed. This should be backported to 23.

Hello Viktor, the change looks fine to me. The copyright year on the file will 
need an update before integrating.

-------------

Marked as reviewed by jpai (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/19682#pullrequestreview-2114507628

Reply via email to