On Sat, 22 Apr 2023 21:15:27 GMT, Vicente Romero <vrom...@openjdk.org> wrote:
> Simple patch removing comment references to an already fixed bug in test > TestTypeAnnotations.java > > TIA Marked as reviewed by jjg (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13600#pullrequestreview-1408074685
