On Thu, 15 Aug 2024 09:46:04 GMT, Alan Bateman <al...@openjdk.org> wrote:
>> Good point, thanks. > > Yes, it should only unpin if pin completed successfully. Please see updated changeset. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20588#discussion_r1718203932
