On Wed, 20 Jul 2022 22:20:31 GMT, Daniel D. Daugherty <dcu...@openjdk.org> 
wrote:

> Merge jdk19 -> jdk20.

Mach5 Tier1 passed.

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

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

Reply via email to