On Tue, 26 Sep 2023 13:37:54 GMT, Lutz Schmidt <lucy at openjdk.org> wrote: > Now you've got both: two reviews and a trivial classification. Thank you, Lutz and Martin for approving it. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15915#issuecomment-1735725343