On Wed, 7 Aug 2024 20:05:45 GMT, Francisco Ferrari Bihurriet <fferr...@openjdk.org> wrote:
>> Yes, we can do that. > > Done in 580d34a63b5d3b6c7d2323413f338527db2d9acd. Thanks. You might need to update the CSR to include this in the spec change. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16483#discussion_r1707962229
