On Mon, 30 Jan 2023 19:48:50 GMT, Joe Darcy <da...@openjdk.org> wrote:
>> The bug id was added there because I'm not sure there's a way to add the >> @bug line to Basic-X.java.template`. > > I see; it might suffice in this case to rely on the bug information in the > SCM history, but I don't have a strong opinion. 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. ------------- PR: https://git.openjdk.org/jdk/pull/12259