On Wed, 26 Apr 2023 10:49:13 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Great, thorough analysis. The fix looks good to me. Thanks for reviewing, Tobias! ------------- PR Comment: https://git.openjdk.org/jdk/pull/13120#issuecomment-1523237431