On Wed, 26 Apr 2023 10:32:49 GMT, Lutz Schmidt <lucy at openjdk.org> wrote: > Finally, a long standing PR comes to a successful end! @RealLucy I think it’s time to reconsider this statement 😄 ------------- PR Comment: https://git.openjdk.org/jdk/pull/12822#issuecomment-1523678359