On Tue, 18 Mar 2025 17:43:07 GMT, Chris Plummer <cjplummer at openjdk.org> wrote: > I had a look yesterday and it looked good, and your latest changes look good also. Thanks for reviewing, @plummercj! ------------- PR Comment: https://git.openjdk.org/jdk/pull/24086#issuecomment-2734232834