On Thu, 12 May 2022 15:07:29 GMT, Sean Mullan <[email protected]> wrote:

> A more descriptive title for the bug report would be helpful.

Fixed.

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

PR: https://git.openjdk.java.net/jdk/pull/8655

Reply via email to