On Tue, 15 Nov 2022 11:47:22 GMT, Yuri Nesterenko <yan at openjdk.org> wrote: > Change argument of is_patching_needed() to thread, in this release. Marked as reviewed by bae (Reviewer). ------------- PR: https://git.openjdk.org/jdk13u-dev/pull/430