It would be good to ship 2.12.20 at around the same time we ship 2.13.15, to ship JDK 23 support in the optimizer.
(2.13.15 thread)