On Thu, 25 Jan 2024 08:27:27 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
>> As always, I am unable to comment on specific translations. >> >> That being said, these changes look OK for JDK 23. They should *not* be >> back ported to JDK 22. > > I should mention that it was @jonathan-gibbons who caught this and made me > aware of it. Thanks Jon! @hns can you take a look for these changes for jdk23 only? ------------- PR Comment: https://git.openjdk.org/jdk/pull/17542#issuecomment-1910781109