On Thu, 12 May 2022 15:07:29 GMT, Sean Mullan <mul...@openjdk.org> 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