On Wed, 3 Dec 2025 15:05:49 GMT, Mark Sheppard <[email protected]> wrote:
> a minor point on the @bug additions. Typically, this is reserved for a bug id > which is an actual fix to JDK source code. There is some ambiguity on this > policy, but generally that has been the practice. Thank you for reminding me about that, Mark. The OpenJDK dev guide has clear guidance on what the `@bug` tag should contain https://openjdk.org/guide/#jtreg : > You can add several bug ids in the same @bug tag, separated by a single > space. These bug ids refer to product bugs for which a fix is verified by > this test. JBS issues that track changes to the test itself are not listed > here. (I think this might be a recent update to the guide) I've updated the PR to remove this test specific bug id. ------------- PR Comment: https://git.openjdk.org/jdk/pull/28595#issuecomment-3607345574
