On Wed, 8 Nov 2023 09:21:35 GMT, Emanuel Peter <epeter at openjdk.org> wrote: > Sorry for all the nit-picks 🙈 No worries, I'm not yet familiar with all the conventions ------------- PR Comment: https://git.openjdk.org/jdk/pull/16429#issuecomment-1801497957