On Fri, 4 Jul 2025 15:23:04 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
> We should probably write it down somewhere, but I don't quite see where... Maybe a heads-up to jdk-dev list would do and we have it in the list archives once this is in. ------------- PR Comment: https://git.openjdk.org/jdk/pull/26134#issuecomment-3036754009
