On Wed, 19 Apr 2023 13:59:09 GMT, Volker Simonis <simonis at openjdk.org> wrote: > Looks good. > > Thanks for fixing! Thanks! Trivial, right? ------------- PR Comment: https://git.openjdk.org/jdk/pull/13534#issuecomment-1514871013