On Wed, 25 Jan 2023 13:14:22 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Mostly good, small nits. Thanks for the review, @tstuefe! I've updated the patch. Please let me know if you want me to change anything else. ------------- PR: https://git.openjdk.org/jdk/pull/12118