Oh, I should have mentioned that another reason to do 2.13.11 is to ship JDK 20 support in the optimizer (support was already merged). We should do 2.12.18 at about the same time for the same reason; see the 2.12.18 release planning thread.
4 Likes