On Mon, 26 Feb 2024 19:13:41 GMT, Jorn Vernee <jver...@openjdk.org> wrote:
>> That doesn't seem to be the right PR link? > > Found the right one: > https://github.com/openjdk/jdk/commit/44218b1c9e5daa33557aac9336251cf8398d81eb Switched back to using the old generator (and removed the newer one): https://github.com/openjdk/jdk/pull/18007/commits/fad15a66b68b07b8bb17fce3c4a7d8788ef44015 ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/18007#discussion_r1503174593