On Tue, 11 Jul 2023 00:40:40 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> 
wrote:

> Clean backport of https://git.openjdk.org/jdk/pull/14813
> (sorry for filing another one, I realized there was an issue with the JBS 
> issues pointing the wrong way)

Marked as reviewed by jvernee (Reviewer).

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

PR Review: https://git.openjdk.org/jdk21/pull/109#pullrequestreview-1524127489

Reply via email to