On Tue, 31 Jan 2023 18:12:45 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
>> In this specific `*.java.template` case, I think that the bug id in the >> comment somehow replaces the lack of the @bug line. >> But I have no problems in removing it if there are stronger opinions. > > The `@bug` tag is in `BasicTestLauncher` which is where 8300869 should likely > go. Thanks @bplb for pointing to the right place. Done ------------- PR: https://git.openjdk.org/jdk/pull/12259
