On Thu, 5 May 2022 16:33:53 GMT, Daniel D. Daugherty <dcu...@openjdk.org> wrote:

> ...  update the PR's synopsis.
Done .

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

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

Reply via email to