On Tue, 1 Aug 2023 21:08:49 GMT, Mark Powers <mpow...@openjdk.org> wrote:

> https://bugs.openjdk.org/browse/JDK-8312461

Changes look good. 
BTW, need to add noreg-xxx label to the bug.

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

Marked as reviewed by valeriep (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/15113#pullrequestreview-1570252071

Reply via email to