On Fri, 23 Jun 2023 13:59:16 GMT, Lutz Schmidt <lucy at openjdk.org> wrote: > Changes look good and obviously do fix the build failure. Thanks for taking care. Thanks @RealLucy for your quick review. Do you think it's trivial? ------------- PR Comment: https://git.openjdk.org/jdk/pull/14627#issuecomment-1604330609