On Mon, 9 Sep 2024 18:37:47 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Use index and definition tags in AnnotatedElement. This pull request has now been integrated. Changeset: 6fd043f1 Author: Joe Darcy <da...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/6fd043f1e4423b61cb5b85af9380f75e6a3846a2 Stats: 7 lines in 1 file changed: 0 ins; 0 del; 7 mod 8339789: Use index and definition tags in AnnotatedElement Reviewed-by: jjg, prappo ------------- PR: https://git.openjdk.org/jdk/pull/20919
