Integrated: 8335955: JDK-8335742 wrongly used a "JDK-" prefix in the problemlist bug number

[Thomas Schatzl]

On Tue, 9 Jul 2024 07:18:06 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote:

> JDK-8335742 added a slightly malformed problemlist entry, adding a "JDK-" prefix to the bug number. While the entry is still valid and the test is excluded, some tools might not work correctly with such an entry.
> 
> Imo this is a trivial change... :)
> 
> Thanks,
>   Thomas

This pull request has now been integrated.

Changeset: 564a72e1
Author:    Thomas Schatzl <tschatzl at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/564a72e1dba0f145600c8e7eff66992fbf294df0
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8335955: JDK-8335742 wrongly used a "JDK-" prefix in the problemlist bug number

Reviewed-by: iwalulya

-------------

PR: https://git.openjdk.org/jdk/pull/20092