On Mon, 14 Oct 2024 20:31:51 GMT, Kevin Bourrillion <d...@openjdk.org> wrote:
> 8342566: Improve javadoc of java.lang.annotation.ElementType This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/21506
