Hi, I've just discovered that the jdk24u[1] repository isn't up-to-date with the jdk24[2] branch of the jdk repo. Is there any plan to merge those? Thank you! Cheers, Severin [1] https://github.com/openjdk/jdk24u/ [2] https://github.com/openjdk/jdk/tree/jdk24