On Thu, 5 May 2022 16:33:53 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > ... update the PR's synopsis. Done . ------------- PR: https://git.openjdk.java.net/jdk/pull/8556