On Tue, 14 Sep 2021 10:16:26 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > All right, I suppose everyone is happy with this patch? I'll be integrating it soon. Yep, fine with me. Thanks for taking care of this. ------------- PR: https://git.openjdk.java.net/jdk/pull/5470