On Tue, 16 Jan 2024 10:04:18 GMT, Erik Österlund <eosterlund at openjdk.org> wrote: > Looks good. Thanks for fixing! Thanks for reviewing, Erik! ------------- PR Comment: https://git.openjdk.org/jdk/pull/17367#issuecomment-1893444846