On Tue, 29 Mar 2022 16:50:17 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Works like a charm for me and changes look reasonable. Approved! Thanks for reviewing, Tobias! ------------- PR: https://git.openjdk.java.net/jdk/pull/7817