On Tue, 3 Dec 2024 22:31:57 GMT, Sean Mullan <mul...@openjdk.org> wrote:

> Bug needs a noreg label, but otherwise looks fine.

Thanks. I chose `noreg-undo`.

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

PR Comment: https://git.openjdk.org/jdk/pull/22522#issuecomment-2515699497

Reply via email to