On Mon, 20 Dec 2021 10:35:30 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Transplanted from https://github.com/openjdk/jdk17u/pull/295 Got the push approval. ------------- PR: https://git.openjdk.java.net/jdk17u-dev/pull/7