On Wed, 19 Oct 2022 18:02:45 GMT, Alan Bateman <alanb at openjdk.org> wrote: > Can you confirm that this is exactly the 1.2.13 code, no patches/changes, right? That is correct, there are no patches on top of the 1.2.13 ------------- PR: https://git.openjdk.org/jdk/pull/10773