On Tue, 3 Dec 2024 22:31:57 GMT, Sean Mullan <mullan at 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